ENTITY FormalRewardBench

FormalRewardBench

PulseAugur coverage of FormalRewardBench — every cluster mentioning FormalRewardBench 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

TIMELINE

2026-05-11 research_milestone Introduction of FormalRewardBench, the first benchmark for evaluating reward models in formal theorem proving. source

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