karthikviswanathn.github.io · individual · Manifund
Technical AI safety researchAI safety
| Anton Makiievskyi | $21,900 | 92% | 1 |
| BlueDot Impact | $1,900 | 8% | 1 |
| Date ↓ | Funder | Via | Amount | Cause | Source | Purpose |
|---|---|---|---|---|---|---|
| Aug 10, 2026 | Anton Makiievskyi | grantmaking.ai, Manifund | $21,900 | Interpretability | manifund | Formally verified autoresearch for theoretical mech interp |
| Jun 2026 | BlueDot Impact | $1,900 | AI safety | bluedot | A "Mech Interp Dojo": I mentor 4 researchers formalizing the expressivity of attention heads in Lean 4, using LLM coding agents to draft proofs that the Lean kernel verifies. |