mauricioc

Karma: 613
Created: 15 years ago

Recent Submissions

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

All submissions on HN · View profile on HN