Formal-Verification-RSI
+10Formal 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.
autoformalization
Chủ đề #autoformalization trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 1
- Tổng sao
- 2.9k
- 24 giờ
- 0%
- 7 ngày
- +0.4%
- 30 ngày
- –
Repository trong #autoformalization
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
