sahibzada-allahyar/Formal-Verification-RSI
PublicFormal 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.
- Stars2.9k+4 tuần này
- Forks127
- Watchers1
- Issues149
- Ngày tạo23/02/2025
- Cập nhật gần nhất23/10/2026
Ngôn ngữPython- Giấy phépMIT
Repo này không có README
Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.
Mở trên GitHub