@misc{indiciae7206c9d52761,
  title = {Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs},
  author = {Ido Pinto and Yizhak Yisrael Elboher and Haoze Wu and Nina Narodytska and Guy Katz},
  year = {2026},
  url = {https://arxiv.org/abs/2603.15510},
  note = {Source identifier: 2603.15510}
}