Skip to content
ISI Newsroom
Information Sciences Institute
Search ISI
About ISI
Overview
Research News
ISI in the Media
Newsroom
Seminars and Events
Special Events
Annual Reports and Newsletters
Honors
Institute Achievement Awards
History
Cloudwalkers: ISI and the Inventors of the Future
Locations
Research
Overview
Artificial Intelligence
Computational Systems & Technology
MOSIS 2.0
Networking & Cybersecurity
Informatics Systems Research
Centers and Labs
Sponsored Research
Keston and ISI Exploratory Research Grants
Results
Overview
Publications
Technical Reports
Demonstrations
People
Executive Leadership
Research Leadership
Research Engineers
Fellows
Administrative Staff
Affiliated Faculty, Scientists, and Artists
ISI Insiders Podcast
AI Insiders Podcast
ISI Directory
Careers
Overview
Research and Technical Positions
Researcher in Residence
Current Job Openings
Information for New ISIers
ISI Hybrid Work Policy
Students
Prospective PhD Students
USC MS Students
Donate
Giving to ISI
Keston Endowment
Keston Grants
Contact
Contact Us
ISI Newsroom
Directory
Events
Publications
Home
Publications
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants