mauricioc

Karma: 612
Created: 15 years ago

Recent Submissions

1. ▲ Mathematicians put AI model AlphaProof to the test (nature.com) 3 points · 7 months ago · 1 comment
2. ▲ Olympiad-level formal mathematical reasoning with reinforcement learning (nature.com) 3 points · 7 months ago · 0 comments
3. ▲ The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction (informit.com) 4 points · 1 year ago · 1 comment
4. ▲ The ∞-Cosmos Project (leanprover-community.github.io) 2 points · 1 year ago · 0 comments
5. ▲ Lean into Verified Software Development (aws.amazon.com) 3 points · 2 years ago · 0 comments

All submissions on HN · View profile on HN