Skip to content

Top Best Ask Show New Jobs

mauricioc | Better HN

mauricioc

612 karmaJoined November 23, 2010134 submissions

Recent submissions

1

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

(nature.com)

3mauricioc7mo ago1

2

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

(nature.com)

3mauricioc7mo 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)

3mauricioc2y ago0

6

Lean 4.7.0 (opens in new tab)

(lean-lang.org)

1mauricioc2y ago0

7

Formalising modern research mathematics in real time (opens in new tab)

(xenaproject.wordpress.com)

111mauricioc2y ago16

8

A Graduate Course in Applied Cryptography (2023-01-14 update) (opens in new tab)

(toc.cryptobook.us)

2mauricioc3y ago0