LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.

Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi

Browse the full SAC paper archive.