Yuan
  • Bio
  • Publications
  • Talks
  • Experience
  • Teaching
  • Recent & Upcoming Talks
    • Invited Talk
    • FMCAD Conference Presentation
    • SAC Conference Presentation
  • Publications
    • Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models
    • LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
    • Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
    • Systematic Translation from Natural Language Robot Task Descriptions to STL
    • Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification
    • Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
    • Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
    • Superflows: A New Tool for Forensic Network Flow Analysis
    • A Comprehensive Study of Autonomous Vehicle Bugs
    • Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
  • Teaching
    • Teaching Assistant at USC
    • Teaching Assistant at UCI
  • Projects
  • Blog
    • 🎉 Easily create your own simple yet highly customizable blog
    • 🧠 Sharpen your thinking with a second brain
    • 📈 Communicate your results effectively with the best data visualizations
    • 👩🏼‍🏫 Teach academic courses
    • ✅ Manage your projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience

FMCAD Conference Presentation

Oct 2, 2025·
Yuan Xia
Yuan Xia
· 0 min read
Code Slides Video
Abstract
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.
Date
Oct 2, 2025 1:00 PM — 3:00 PM
Event
FMCAD Conference Invited Talk
Location

Menlo Park, California

Last updated on Oct 2, 2025
Yuan Xia
Authors
Yuan Xia
5th Year Ph.D. Student & Applied Scientist & Researcher
← Invited Talk Nov 1, 2025
SAC Conference Presentation Apr 2, 2025 →

© 2025 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.