Publications | Hugo Academic CV Themehttps://yuan-xia.github.io/cv/publication/PublicationsHugo Blox Builder (https://hugoblox.com)en-usWed, 15 Oct 2025 00:00:00 +0000https://yuan-xia.github.io/cv/media/icon_hu7729264130191091259.pngPublicationshttps://yuan-xia.github.io/cv/publication/Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Modelshttps://yuan-xia.github.io/cv/publication/fmcad/Wed, 15 Oct 2025 00:00:00 +0000https://yuan-xia.github.io/cv/publication/fmcad/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry once published.</span> </div> <!-- _Add full text, supplementary notes, or rich content here after publication._ -->LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariantshttps://yuan-xia.github.io/cv/publication/sac/Mon, 31 Mar 2025 00:00:00 +0000https://yuan-xia.github.io/cv/publication/sac/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary notes, or rich content here (code, math, images, etc.)._ -->Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learninghttps://yuan-xia.github.io/cv/publication/vmcai/Wed, 15 Jan 2025 00:00:00 +0000https://yuan-xia.github.io/cv/publication/vmcai/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary notes, or other rich content here._ -->Systematic Translation from Natural Language Robot Task Descriptions to STLhttps://yuan-xia.github.io/cv/publication/aisola/Thu, 10 Oct 2024 00:00:00 +0000https://yuan-xia.github.io/cv/publication/aisola/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary notes, or rich content here._ -->Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verificationhttps://yuan-xia.github.io/cv/publication/tcps/Sat, 01 Jul 2023 00:00:00 +0000https://yuan-xia.github.io/cv/publication/tcps/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary materials, or rich content (figures, code) here as desired._ -->Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inferencehttps://yuan-xia.github.io/cv/publication/iccps/Wed, 04 May 2022 00:00:00 +0000https://yuan-xia.github.io/cv/publication/iccps/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary material, or rich content here._ -->Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Frameworkhttps://yuan-xia.github.io/cv/publication/llm-reason/Thu, 28 Apr 2022 00:00:00 +0000https://yuan-xia.github.io/cv/publication/llm-reason/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary notes, or rich content here when desired._ -->Superflows: A New Tool for Forensic Network Flow Analysishttps://yuan-xia.github.io/cv/publication/superflow/Wed, 02 Mar 2022 00:00:00 +0000https://yuan-xia.github.io/cv/publication/superflow/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add any supplementary notes, figures, or code snippets here if desired._ -->A Comprehensive Study of Autonomous Vehicle Bugshttps://yuan-xia.github.io/cv/publication/icse/Wed, 27 May 2020 00:00:00 +0000https://yuan-xia.github.io/cv/publication/icse/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add full text, supplementary notes, or rich content here._ -->Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inferencehttps://yuan-xia.github.io/cv/publication/conformal/Wed, 01 Apr 2020 00:00:00 +0000https://yuan-xia.github.io/cv/publication/conformal/<div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click the <em>Cite</em> button above to import the BibTeX entry.</span> </div> <!-- _Add supplementary notes or rich content here if desired._ -->