ENTITY
Putnam2025
Putnam2025
PulseAugur coverage of Putnam2025 — every cluster mentioning Putnam2025 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
-
AI frameworks boost formal theorem proving with new techniques
Researchers have developed new frameworks to enhance formal theorem proving capabilities using large language models. Goedel-Architect utilizes a blueprint generation and refinement strategy, achieving state-of-the-art …
-
New Lean 4 Theorem Prover Achieves Strong Benchmark Results
Researchers have developed MerLean-Prover, an end-to-end theorem prover for Lean 4 that generates kernel-checkable proofs. The system utilizes a recursive loop with three agent types (Planning, Check, and Lean) and has …