SAC Conference Presentation

Apr 2, 2025·
Yuan Xia
Yuan Xia
· 0 min read
Abstract
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
Date
Apr 2, 2025 1:00 PM — 3:00 PM
Event
SAC Conference Invited Talk
Location

Italy

Yuan Xia
Authors
Yuan Xia
5th Year Ph.D. Student & Applied Scientist & Researcher