Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Paper • 2609.11085 • Published • 34
Debargha Ganguly
Debargha
AI & ML interests
None yet
Recent Activity
upvoted a paper 2 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 2 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 2 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in LeanOrganizations
upvoted a paper 2 days ago
authored 5
papers 2 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Paper • 2609.11085 • Published • 34
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
Paper • 2609.09264 • Published • 9
Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility
Paper • 2608.04001 • Published • 1
Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers
Paper • 2601.07036 • Published
Trust The Typical
Paper • 2602.04581 • Published • 2
upvoted a paper 6 days ago
submitted a
paper to Daily Papers 6 days ago
liked a
dataset 8 days ago
updated a
model 4 months ago
published a
model 4 months ago
updated a
model 4 months ago
published a
model 4 months ago
upvoted a paper 5 months ago
updated a
model 5 months ago
published a
model 5 months ago
updated a
model 5 months ago
published a
model 5 months ago
upvoted a paper 7 months ago
submitted a
paper to Daily Papers 7 months ago