🧩 AI OSS Timelineに新しいOSSを登録しました
🧩 AI OSS Timelineに新しいOSSを登録しました
Formal-Verification-RSI
AIが生成した形式証明をLean 4とDafnyで検証。96個中、偽のプルーフはゼロ。数学の自動化とAI安全性を両立。
https://github.com/sahibzada-allahyar/Formal-Verification-RSI
詳細:
https://aiknowledgecms.exbridge.jp/oss.php?id=sahibzada-allahyar_Formal-Verification-RSI
Formal-Verification-RSI
AIが生成した形式証明をLean 4とDafnyで検証。96個中、偽のプルーフはゼロ。数学の自動化とAI安全性を両立。
https://github.com/sahibzada-allahyar/Formal-Verification-RSI
詳細:
https://aiknowledgecms.exbridge.jp/oss.php?id=sahibzada-allahyar_Formal-Verification-RSI
github.com
GitHub - sahibzada-allahyar/Formal-Verification-RSI: Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs
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 so...