ENTITY
Leo de Moura
Leo de Moura
PulseAugur coverage of Leo de Moura — every cluster mentioning Leo de Moura across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Math community verifies Fields medallist's calculations with Lean software
Peter Scholze, a Fields medallist, expressed concern that the technical calculations in his work with Dustin Clausen had not been thoroughly reviewed by peers at institutions like Princeton and Harvard. This changed whe…
-
New Lean 4 theorem prover NanoProof released with open data and tooling · 2 sources tracked
Researchers have introduced NanoProof, an open-source automated theorem prover for Lean 4 that achieves 50.8% pass@16 on the MiniF2F-Test benchmark. This system is notable for releasing its training data, extraction too…