None defined yet.
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
DREAM: Deep Research Evaluation with Agentic Metrics