1
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
不是所有程序不变量都同等重要，如何精选训练数据让小模型加速验证？这篇论文给出答案。
arXiv:2603.15510v2 Announce Type: replace Abstract: The synthesis of inductive loop invariants remains a critical bottleneck in automated program veri…