ENTITY
Matharena
Matharena
PulseAugur coverage of Matharena — every cluster mentioning Matharena across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New framework ECP formally solves math answer-construction problems
Researchers have developed a new neuro-symbolic framework called Enumerate-Conjecture-Prove (ECP) designed to tackle answer-construction problems in formal mathematics. This framework combines general large language mod…
-
MathArena platform evolves to track LLM progress in complex reasoning
Researchers have developed MathArena, an expanded evaluation platform for assessing large language models' mathematical reasoning capabilities. This platform moves beyond static benchmarks to continuously update and bro…