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.
Why this job: works in the areas we cover, but does not say which job it does
What it does
AI now writes machine-checked mathematics and formally verified code. The value of a formal proof is that nobody has to read it: the checker vouches for it. But the check most benchmarks and agent harnesses actually apply is weaker, and agents learn to game it:
Get started
git clone https://github.com/sahibzada-allahyar/Formal-Verification-RSI.git millennium-harness - Maintenance
- Active
- Last commit 18 days ago
- Stars
- 2,885
- +15 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- Python
- 77% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- 0% closed
- 149 still open
- Pull requests
- 1 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| fabio-rovai / open-ontologies | 2,856 | 5 days ago | MIT | Mac, Windows, Linux |
More: languages, topics and project record
Languages
- Python 77%
- Lean 14%
- Dafny 7%
- Shell 1%
Topics
- ai-agents
- ai-for-math
- ai-for-science
- ai-safety
- autoformalization
- automated-theorem-proving
- coding-agents
- dafny
- formal-methods
- formal-verification
- lean4
- llm
Project record
- JobOther AI tools
- StatusListed
- Commits7
- Forks127
- Watching1
- Stars in 28 days+49
- CreatedFeb 22, 2025
- First seen by usNov 7, 2026
- CheckedNov 7, 2026