ENTITY
TheoremSearch
TheoremSearch
PulseAugur coverage of TheoremSearch — every cluster mentioning TheoremSearch across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New AI pipeline verifies novelty of mathematical theorems using Lean 4
Researchers have developed a new pipeline called AViD Journal that uses the Lean 4 programming language to automatically verify the novelty of mathematical theorems. The system analyzes LaTeX articles, formalizes statem…
-
New open-source tool combats AI math hallucination
A new open-source project called mathlas has been developed to combat AI hallucination in mathematical reasoning. It functions as an MCP server, providing AI assistants with access to a real Lean kernel, a theorem index…