sahibzada-allahyar/Formal-Verification-RSI

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.

语言：Python · GitHub 星标：2,871 · Fork：127

话题：ai-agents · ai-for-math · ai-for-science · ai-safety · autoformalization · automated-theorem-proving · coding-agents · dafny

在 GitHub 上查看原仓库