ENTITY
Goedel-Architect
Goedel-Architect
PulseAugur coverage of Goedel-Architect — every cluster mentioning Goedel-Architect across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
TIMELINE
- 2026-06-06 research_milestone Goedel-Architect, powered by DeepSeek V4, achieved a 75.6% pass rate on the PutnamBench mathematics competition. source
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
DeepSeek V4 powers Goedel-Architect to math competition win at low cost
A new framework named Goedel-Architect, powered by DeepSeek V4, has achieved a 75.6% pass rate on the PutnamBench mathematics competition. This framework offers a significant cost advantage, costing only $294 compared t…
-
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 …