RCÉpique
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.
- Propriétaire
- sahibzada-allahyar (compte personnel)
- Étoiles
- Étoiles : 2 874
- Forks
- Forks : 127
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- proof-assistantlean4ai-agentsai-for-mathai-for-scienceai-safetyautoformalizationautomated-theorem-provingcoding-agentsdafny
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de sahibzada-allahyar
Les 2 dépôts de sahibzada-allahyar- sahibzada-allahyar/Obsidian-Memory-TransformerÉtoiles : 182CudaPrototype
D’autres dépôts Python
Tous les dépôts Python- alisen39/TrWebOCRÉtoiles : 2 875PythonRC
- YanjieZe/awesome-humanoid-robot-learningÉtoiles : 2 874PythonRC
- AlphaGBM/skillsÉtoiles : 2 874PythonRC
- viewflow/viewflowÉtoiles : 2 873PythonRC
- readbeyond/aeneasÉtoiles : 2 872PythonRC