jacobian
+23Composable mathematics tools for agents
automated-theorem-proving
Chủ đề #automated-theorem-proving trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 2
- Tổng sao
- 3.2k
- 24 giờ
- +0.1%
- 7 ngày
- +1%
- 30 ngày
- +76.4%
Repository trong #automated-theorem-proving
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.
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
