organization
AI governance, policy, and advocacy
| Coefficient Giving | $3,938,000 | 100% | 1 |
| Date ↓ | Funder | Via | Amount | Cause | Source | Purpose |
|---|---|---|---|---|---|---|
| May 2026 | Coefficient Giving | $3,938,000 | AI governance, policy, and advocacy | coefficient_giving | Infrastructure for Formal Software Verification in Lean |