ENTITY
Putnam
Putnam
PulseAugur coverage of Putnam — every cluster mentioning Putnam 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
-
New StochBench benchmark tests LLMs on stochastic processes in Lean · 2 sources tracked
Researchers have introduced StochBench, a new benchmark designed to evaluate large language models on stochastic processes in the Lean 4 programming language. This benchmark features 450 graduate-level problems, address…
-
New framework TopoAlign uses code to boost LLM math reasoning
Researchers have introduced TopoAlign, a novel framework designed to enhance the mathematical reasoning capabilities of large language models (LLMs) by leveraging vast code repositories. This approach addresses the scar…