ENTITY
PRM800K
PRM800K
PulseAugur coverage of PRM800K — every cluster mentioning PRM800K across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New framework automates AI math proof verification using Lean · 2 sources tracked
Researchers have developed LeanPRM, a novel framework that leverages the Lean proof assistant to automatically generate step-level correctness labels for natural language mathematical proofs. This approach eliminates th…
-
New framework audits test-time scaling for video world models
A new research paper introduces the Compute-Value Audit (CVA) framework to evaluate the effectiveness of test-time scaling (TTS) in video world models. The study found that while increasing sampling can improve candidat…