# sahibzada-allahyar/Formal-Verification-RSI

<https://repo.masters-masters.com/en/repos/sahibzada-allahyar/Formal-Verification-RSI>

[Home](https://repo.masters-masters.com/en) › [sahibzada-allahyar](https://repo.masters-masters.com/en/owners/sahibzada-allahyar) › [Formal-Verification-RSI](https://repo.masters-masters.com/en/repos/sahibzada-allahyar/Formal-Verification-RSI)

sahibzada-allahyar/Formal-Verification-RSI has 2,874 stars on GitHub. Its RepoMasters card: RC tier. Formal verification for AI: a Lean 4 + Dafny proof…

| Field | Value |
| --- | --- |
| Owner | [sahibzada-allahyar](https://repo.masters-masters.com/en/owners/sahibzada-allahyar) |
| Stars | 2,874 |
| Forks | 127 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2025 |
| Topics | proof-assistant, lean4, ai-agents, ai-for-math, ai-for-science, ai-safety, autoformalization, automated-theorem-proving, coding-agents, dafny |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [sahibzada-allahyar/Formal-Verification-RSI](https://github.com/sahibzada-allahyar/Formal-Verification-RSI) |

## Repository

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.

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by sahibzada-allahyar

- [sahibzada-allahyar/Obsidian-Memory-Transformer · ★ 182 · Cuda · Prototype](https://repo.masters-masters.com/en/repos/sahibzada-allahyar/Obsidian-Memory-Transformer)

## Nearby in Python

- [alisen39/TrWebOCR · ★ 2,875 · Python · RC](https://repo.masters-masters.com/en/repos/alisen39/TrWebOCR)
- [YanjieZe/awesome-humanoid-robot-learning · ★ 2,874 · Python · RC](https://repo.masters-masters.com/en/repos/YanjieZe/awesome-humanoid-robot-learning)
- [AlphaGBM/skills · ★ 2,874 · Python · RC](https://repo.masters-masters.com/en/repos/AlphaGBM/skills)
- [viewflow/viewflow · ★ 2,873 · Python · RC](https://repo.masters-masters.com/en/repos/viewflow/viewflow)
- [readbeyond/aeneas · ★ 2,872 · Python · RC](https://repo.masters-masters.com/en/repos/readbeyond/aeneas)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.