222 Lean4 Formal Proofs, 3 Walls Deconstructed, and AI Prover 8/8 Success
Research paper by Nobuki Fujimoto and collaborators, published 2026 in Zenodo (CERN European Organization for Nuclear Research). Research area: Logic, programming, and type systems.
Resource information
- Authors
- Nobuki Fujimoto, Claude (Anthropic)
- Research area
- Logic, programming, and type systems
- Application domain
- General AI research
- AI methods
- Research topics
- Logic, programming, and type systems, Mathematics, Computing, and Information Processing, Formal Methods in Verification
- Publication date
- 2026-04-10
- Publication
- Zenodo (CERN European Organization for Nuclear Research)
- DOI
- 10.5281/zenodo.19490884
- Citations
- 0
- Last record update
- Nov 4, 2026