mauricioc
- Karma
- 611
- Created
- 15 years ago
Recent Submissions
- 1. ▲ Mathematicians put AI model AlphaProof to the test (nature.com)
- 2. ▲ Olympiad-level formal mathematical reasoning with reinforcement learning (nature.com)
- 3. ▲ The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction (informit.com)
- 4. ▲ The ∞-Cosmos Project (leanprover-community.github.io)
- 5. ▲ Lean into Verified Software Development (aws.amazon.com)
- 6. ▲ Lean 4.7.0 (lean-lang.org)