Grantmaking.ai
Summary
Database
← All grants
AI for Formal Software Verification (Contract)
Amount:
$1,000,000
Date Awarded:
May 22, 2025
Details
Funder
Open Philanthropy
Recipient
Theorem Labs
Purpose
-
Source
https://coefficientgiving.org/grants/ai-for-formal-software-verification-contract/
Metadata
Created
Mar 20, 2026, 2:35 AM UTC
AI for Formal Software Verification (Contract) | Grantmaking.ai