Quinn Dougherty
@quinn
Formal methods needs to know that AI security is its most important customer
quinnd.net$0total balance
$0charity balance
$0cash balance
$0 in pending offers
About Me
I do formal verification agents and synthetic data (mostly Lean 4). AI Security needs to know how to ask formal methods to help harden its infrastructure, and conversely formal methods needs to focus on helping with AI Security and Safety.
Projects
Outgoing donations
Transactions
| For | Date | Type | Amount |
|---|---|---|---|
| Guaranteed Safe AI Seminars 2026 | 12 months ago | project donation | 300 |
| Alignment Is Hard | about 3 years ago | project donation | 1200 |
| Manifund Bank | about 3 years ago | deposit | +1500 |
No comments yet. Sign in to create one!