Beyond Solver Verdicts: Generative Reward Models for Autoformalization Paper • 2609.11085 • Published 19 days ago • 34
Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning-v2 4B • Updated Jan 20 • 20
Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning-v2 4B • Updated Jan 20 • 20