Longterm Wiki

SDCPNs for AI Safety

$39K
Funder
Recipient
Jade Master
Program
Date
Oct 2025
Source
Notes

[Science & technology, Technical AI safety, Global catastrophic risks] Developing correct-by-construction world models for verification of frontier AI

Other Grants by Manifund

376
Showing 10 of 376 grants
SDCPNs for AI Safety | Grants | Longterm Wiki