TY  - RPRT
TI  - Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
AU  - Omar Farouk Zouak
AU  - Houssam Eddine Boukhalfa
AU  - Soumaya Lakehal
AU  - Shiv Katiyar
AU  - Samia Nefti-Meziani
PY  - 2026
UR  - https://arxiv.org/abs/2610.02444
ID  - 2610.02444
ER  -