Skip to content

Top New Best Ask Show Jobs

mauricioc

611 karmaJoined November 23, 2010132 submissions

mauricioc | Better HN

Recent submissions

1

Mathematicians put AI model AlphaProof to the test (opens in new tab)

(nature.com)

3mauricioc4mo ago1

2

Olympiad-level formal mathematical reasoning with reinforcement learning (opens in new tab)

(nature.com)

3mauricioc4mo ago0

3

The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction (opens in new tab)

(informit.com)

4mauricioc1y ago1

4

The ∞-Cosmos Project (opens in new tab)

(leanprover-community.github.io)

2mauricioc1y ago0

5

Lean into Verified Software Development (opens in new tab)

(aws.amazon.com)

3mauricioc1y ago0

6

Lean 4.7.0 (opens in new tab)

(lean-lang.org)

1mauricioc1y ago0