Predicate Discovery

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

Click the Cite button above to import the BibTeX entry.

Mar 31, 2025