ENTITY
miniF2F-test
miniF2F-test
PulseAugur coverage of miniF2F-test — every cluster mentioning miniF2F-test 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
SENTIMENT · 30D
2 day(s) with sentiment data
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 …
-
Knowledge graphs boost LLMs for automated theorem proving
Researchers have developed KG-Prover, a new framework that enhances large language models for automated theorem proving by integrating knowledge graphs mined from mathematical texts. This approach helps LLMs identify ke…