Submitted by 
Vikash Singh
AI & ML interests
None defined yet.
Papers
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
DREAM: Deep Research Evaluation with Agentic Metrics
Submitted by 
Roy Ganz
Submitted by 
Adam Stein
Submitted by 
Yu Feng