TY  - RPRT
TI  - Learning to Disprove: Formal Counterexample Generation with Large Language Models
AU  - Zenan Li
AU  - Zhaoyu Li
AU  - Kaiyu Yang
AU  - Xiaoxing Ma
AU  - Zhendong Su
PY  - 2026
UR  - https://arxiv.org/abs/2603.19514
ID  - 2603.19514
ER  -