Skip to content

Yuan Xia

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

13

Active years

2004–2025

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2025AAAIImproving Retrieval Augmented Language Model with Self-Reasoning.Yuan Xia, Jingbo Zhou, Zhenhui Shi, Jun Chen, Haifeng Huang
2025FMCADGuiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh
2025WWWUntitled recordPengfei Luo, Jingbo Zhou, Tong Xu, Yuan Xia, Linli Xu, Enhong Chen
2025SACLLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025VMCAIDiscovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2024VECoSSystematic Translation from Natural Language Robot Task Descriptions to STL.Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh
2023ICCDLifetimeKV: Narrowing the Lifetime Gap of SSTs in LSMT-based KV Stores for ZNS SSDs.Biyong Liu, Yuan Xia, Xueliang Wei, Wei Tong
2023ICDEMultimodal Biological Knowledge Graph Completion via Triple Co-Attention Mechanism.Derong Xu, Jingbo Zhou, Tong Xu, Yuan Xia, Ji Liu, Enhong Chen, Dejing Dou
2022EMNLPA Speaker-Aware Co-Attention Framework for Medical Dialogue Information Extraction.Yuan Xia, Zhenhui Shi, Jingbo Zhou, Jiayu Xu, Chao Lu, Yehui Yang, Lei Wang, Haifeng Huang, Xia Zhang, Junwei Liu
2021KDDMedical Entity Relation Verification with Large-scale Machine Reading Comprehension.Yuan Xia, Chunyu Wang, Zhenhui Shi, Jingbo Zhou, Chao Lu, Haifeng Huang, Hui Xiong
2020AAAIGenerative Adversarial Regularized Mutual Information Policy Gradient Framework for Automatic Diagnosis.Yuan Xia, Jingbo Zhou, Zhenhui Shi, Chao Lu, Haifeng Huang
2020GPCA Drift Detection Method Based on Diversity Measure and McDiarmid's Inequality in Data Streams.Yuan Xia, Yunlong Zhao
2020ICSEA comprehensive study of autonomous vehicle bugs.Joshua Garcia, Yang Feng, Junjie Shen, Sumaya Almanee, Yuan Xia, Qi Alfred Chen
2004WCNCMultiuser subcarrier and bit allocation for MIMO-OFDM systems with perfect and partial channel information.Zhenping Hu, Guangxi Zhu, Yuan Xia, Gan Liu