ENTITY
Formal Conjectures
Formal Conjectures
PulseAugur coverage of Formal Conjectures — every cluster mentioning Formal Conjectures across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
TIMELINE
- 2026-05-13 research_milestone Introduction of the Formal Conjectures benchmark for AI in mathematics. source
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New benchmark dataset Formal Conjectures targets AI in mathematics
Researchers have introduced Formal Conjectures, a benchmark dataset designed to evaluate the capabilities of automated reasoning systems in mathematics. The dataset comprises over 7,500 mathematical problem statements f…
-
Formal Conjectures benchmark advances AI math discovery
Researchers have introduced Formal Conjectures, a new benchmark designed to evaluate automated reasoning systems in mathematics. This evolving dataset, formalized in Lean 4, comprises over 2600 mathematical problem stat…