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.

LLM & foundation modelsPython MIT 127created 2025-02-22

Website GitHub

Stars

2,893

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

The chart appears after at least 2 days of data.

#ai-agents#ai-for-math#ai-for-science#ai-safety#autoformalization#automated-theorem-proving#coding-agents#dafny#formal-methods#formal-verification#lean4#llm#program-verification#proof-assistant#recursive-self-improvement#reward-hacking#rsi#self-improving-ai#theorem-proving#verified-code

Top contributors

Not collected yet (contributors job).