@misc{indiciaee0aaae0f6f76,
  title = {Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs},
  author = {Omar Farouk Zouak and Houssam Eddine Boukhalfa and Soumaya Lakehal and Shiv Katiyar and Samia Nefti-Meziani},
  year = {2026},
  url = {https://arxiv.org/abs/2610.02444},
  note = {Source identifier: 2610.02444}
}