ENTITY DeepSeek-Prover-V2-7B

DeepSeek-Prover-V2-7B

PulseAugur coverage of DeepSeek-Prover-V2-7B — every cluster mentioning DeepSeek-Prover-V2-7B across labs, papers, and developer communities, ranked by signal.

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_27514 · May 11 · 07:51

FormalRewardBench benchmark evaluates LLM reward models for theorem proving

Researchers have introduced FormalRewardBench, a new benchmark designed to evaluate reward models used in formal theorem proving. This benchmark addresses the challenge of sparse credit assignment in reinforcement learn…

FormalRewardBench benchmark evaluates LLM reward models for theorem proving