Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs

Published in The 43rd International Conference on Machine Learning (ICML'26), 2026