{"type": "article", "title": "Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/counterexample-generation-via-per-theorem-symbolic-verifiers-when-imitation-and", "original_source": "https://arxiv.org/abs/2610.02444", "published": "2026-10-05T04:00:00+00:00", "accessed": "2026-10-05", "id": "counterexample-generation-via-per-theorem-symbolic-verifiers-when-imitation-and"}