Pinto, I., Elboher, Y. Y., Wu, H., Narodytska, N., & Katz, G. (2026). Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs.
Chicago-Zitierstil (17. Ausg.)Pinto, Ido, Yizhak Yisrael Elboher, Haoze Wu, Nina Narodytska, und Guy Katz. Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs. 2026.
MLA-Zitierstil (9. Ausg.)Pinto, Ido, et al. Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.