# sahibzada-allahyar/Formal-Verification-RSI

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

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

sahibzada-allahyar/Formal-Verification-RSI, dépôt open source à 2 874 étoiles sur GitHub. Carte RC de RepoMasters. Formal verification for AI: a Lean 4 +…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sahibzada-allahyar](https://repo.masters-masters.com/owners/sahibzada-allahyar) |
| Étoiles | 2 874 |
| Forks | 127 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | proof-assistant, lean4, ai-agents, ai-for-math, ai-for-science, ai-safety, autoformalization, automated-theorem-proving, coding-agents, dafny |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [sahibzada-allahyar/Formal-Verification-RSI](https://github.com/sahibzada-allahyar/Formal-Verification-RSI) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## Autres dépôts de sahibzada-allahyar

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

## D’autres dépôts Python

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.