About Database Apply for funding For AI safety funders

We're building a public coordination layer for AI safety funding — so donors can move faster, grantees can stay visible, and the ecosystem can share more of its knowledge.

Questions? Takes? Suggestions?

Email us, we want to hear from you

hi@grantmaking.ai

© 2026 This site is released under a CC BY-SA license

AI for Formal Software Verification (Contract) | grantmaking.ai

AI for Formal Software Verification (Contract)

Amount: $1,000,000Date Awarded: May 22, 2025

Details

Funder: Open Philanthropy
Recipient: Theorem Labs
Purpose: -
Source: https://coefficientgiving.org/funds/navigating-transformative-ai

Metadata

Created: Mar 20, 2026, 2:35 AM UTC