@psilospore
PhD student at the University of Vermont and Software Engineer. I'm interesting in Programming Languages, Formal Methods, and AI Safety.
https://psilospore.org/$0 in pending offers
| For | Date | Type | Amount |
|---|---|---|---|
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 4 months ago | project donation | 25 |
| Manifund Bank | 4 months ago | deposit | +25 |