Training Step-Level Reasoning Verifiers with Formal Verification Tools Paper • 2505.15960 • Published 3 days ago • 6
HRScene: How Far Are VLMs from Effective High-Resolution Image Understanding? Paper • 2504.18406 • Published 30 days ago • 2
GReaTer: Gradients over Reasoning Makes Smaller Language Models Strong Prompt Optimizers Paper • 2412.09722 • Published Dec 12, 2024 • 5