Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs. - Ido Pinto; Yizhak Yisrael Elboher; Haoze Wu 001; Nina Narodytska; Guy Katz (CoRR, 2026)