ENTITY
DeepSeek-Prover-V1.5-RL
DeepSeek-Prover-V1.5-RL
PulseAugur coverage of DeepSeek-Prover-V1.5-RL — every cluster mentioning DeepSeek-Prover-V1.5-RL 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
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New SCOPE system uses LLM for certified theorem proving
A new research paper introduces SCOPE, a system designed to improve certified theorem proving in proof assistants like Lean. SCOPE divides labor between a language model that plans proof steps and a symbolic engine that…
-
Flaws Found in Lean Theorem Proving Benchmarks and RL Model Inference
Researchers have identified significant flaws in the formal benchmarking of Lean theorem-proving datasets, uncovering thousands of issues including counterexamples and vacuous theorems. A separate study on RL-trained Le…