ENTITY
DeepSeek-Prover-V2-671B
DeepSeek-Prover-V2-671B
PulseAugur coverage of DeepSeek-Prover-V2-671B — every cluster mentioning DeepSeek-Prover-V2-671B 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
-
AI system AutoGraphForge automates graph theory conjecture discovery and proof
Researchers have developed AutoGraphForge, a computational pipeline designed to automate the discovery and proving of graph theory conjectures. The system generates conjectures using a counterexample-guided approach, fi…
-
Pythagoras-Prover achieves state-of-the-art in efficient formal proving
Researchers have introduced Pythagoras-Prover, a new family of theorem provers designed for efficiency in formal reasoning tasks. These models utilize curriculum training and augmented formalization techniques to overco…