Hacker News new | ask | show | jobs
user: mauricioc
created: 2010-11-23
karma: 612

submissions:

Mathematicians put AI model AlphaProof to the test
3 points | 1 comments
Olympiad-level formal mathematical reasoning with reinforcement learning
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction
4 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The ∞-Cosmos Project
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Lean into Verified Software Development
3 points | 0 comments