Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

RCEpic

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.

Owner: sahibzada-allahyar (personal account)
Stars: Stars: 2,874
Forks: Forks: 127
Language: Python
License: MIT
Created: 2025
Topics: proof-assistantlean4ai-agentsai-for-mathai-for-scienceai-safetyautoformalizationautomated-theorem-provingcoding-agentsdafny
Tier: RC (2,000 to 4,999 ★) What this tier means

View on GitHub

More repos by sahibzada-allahyar

All 2 repos by sahibzada-allahyar

sahibzada-allahyar/Obsidian-Memory-TransformerStars: 182CudaPrototype

Nearby in Python

All Python repos

alisen39/TrWebOCRStars: 2,875PythonRC
YanjieZe/awesome-humanoid-robot-learningStars: 2,874PythonRC
AlphaGBM/skillsStars: 2,874PythonRC
viewflow/viewflowStars: 2,873PythonRC
readbeyond/aeneasStars: 2,872PythonRC