sahibzada-allahyar / Formal-Verification-RSI
git clone https://github.com/sahibzada-allahyar/Formal-Verification-RSI.git
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
+2
stars, 24h · #13,435
+~14
stars, 7 days · #11,077
+~60
stars, 30 days · #11,532
2.9k
★ total · +0% this week
126
forks · 149 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2025-02-22 (1y ago)
Last push2d ago
OwnerUser
GitHub topics
ai-agentsai-for-mathai-for-scienceai-safetyautoformalizationautomated-theorem-provingcoding-agentsdafnyformal-methodsformal-verificationlean4llmprogram-verificationproof-assistantrecursive-self-improvementreward-hackingrsiself-improving-aitheorem-provingverified-code
Links
- GitHub: github.com/sahibzada-allahyar/Formal-Verification-RSI
- Homepage: https://sahibzada-allahyar.github.io
- Releases · Issues · Hacker News mentions
README
Loading README…