TY  - RPRT
TI  - Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
AU  - Ido Pinto
AU  - Yizhak Yisrael Elboher
AU  - Haoze Wu
AU  - Nina Narodytska
AU  - Guy Katz
PY  - 2026
UR  - https://arxiv.org/abs/2603.15510
ID  - 2603.15510
ER  -