GitHub repository
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- Total stars
- 2.9K
- Today
- +1
- Last 7 days
- +5
- Last 30 days
- +5
Recorded star history
Snapshot: 2026-10-28. Counts recorded during the last 7 days, oldest first.
Oldest recordedLatest recorded