Actively Fundraising Recent Activity Full Database

Actively Fundraising Recent Activity Full Database

Resources Apply for funding

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

← Back to Database

Felix Harder

-

Bio

Updated 07/12/26 · By grantmaking.ai

-

Projects

Formalizing mathematical AI safety research in Lean

Team Member

Grants

Updated 07/12/26 · By grantmaking.ai

No grants recorded.

Felix Harder | grantmaking.ai