{"type": "article", "title": "Beyond Solver Verdicts: Generative Reward Models for Autoformalization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/beyond-solver-verdicts-generative-reward-models-for-autoformalization", "original_source": "https://aiflash.com/news/117779/", "published": "2026-09-11T16:00:13+00:00", "accessed": "2026-09-11", "id": "beyond-solver-verdicts-generative-reward-models-for-autoformalization"}