Stanford University project called Lean Verification for Safe AI; the Survival and Flourishing Fund's 2026 round recommends general support for it.
Show detailsHide details
Received $35k from 1 funder
Checked 25 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $35k, newest first.
2026 1 grant · $35k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 30 Sep 2026 | Survival and Flourishing Fund | $35k | SFF-2026 Main Round: General support of Lean Verification for Safe AI (base amount; the $40,000 conditional matching pledge is a separate row) source |