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 (SAC, 2025)

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. - Yuan Xia; Deepayan Sur; Aabha Shailesh Pingle; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi (VMCAI (1), 2025)