Actively Fundraising Recent Activity Full Database

Actively Fundraising Recent Activity Full Database

Resources List your project

grantmaking.ai kickoff grant round$1M / $1M distributed

List your project

← Back to Database

Felix Harder

-

Bio

Updated 09/08/26 · By grantmaking.ai

-

Projects

Formalizing mathematical AI safety research in Lean

creator

Formalizing mathematical AI safety research in Lean

Team Member

Grants

Updated 09/08/26 · By grantmaking.ai

No grants recorded.

Felix Harder | grantmaking.ai