@misc{indiciae3b24fc176135,
  title = {Learning to Disprove: Formal Counterexample Generation with Large Language Models},
  author = {Zenan Li and Zhaoyu Li and Kaiyu Yang and Xiaoxing Ma and Zhendong Su},
  year = {2026},
  url = {https://arxiv.org/abs/2603.19514},
  note = {Source identifier: 2603.19514}
}