@inproceedings{pinto2026not,
 title={Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs},
 author={Pinto, Ido and Elboher, Yizhak Yisrael and Wu, Haoze and Narodytska, Nina and Katz, Guy},
 booktitle={International Conference on Machine Learning (ICML)},
 year={2026}
}