ENTITY
neural theorem provers
neural theorem provers
PulseAugur coverage of neural theorem provers — every cluster mentioning neural theorem provers 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
RECENT · PAGE 1/1 · 2 TOTAL
-
AI's expanding role in mathematics explored in new essay · 2 sources tracked
A new essay explores the evolving relationship between artificial intelligence and mathematics. While neural theorem provers have shown significant progress, the authors argue that this success overshadows a larger pote…
-
New research quantifies axiom of choice's geometric impact on AI proof assistants
Researchers have developed a method to measure the geometric impact of the axiom of choice within mathematical proofs using Lean 4. By analyzing over 470,000 declarations in Mathlib, they identified a measurable geometr…