Yuan Xia

53 papers A* 6B 2C 2Misc 1Journal 23Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework.
CoRR
Yuan Xia, Akanksha Atrey, Fadoua Khmaissia, Kedar S. Namjoshi
2025 — conf
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.
VMCAI (1)
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 J jnl
FC-Trans: Deep learning methods for network intrusion detection in big data environments.
Comput. Secur.
Yuedi Zhu, Yong Wang, Lin Zhou, Yuan Xia
2025 — conf
First Demonstration of MRM on Low-Loss SiN-SOI Platform for High-Density and Low-Power Optical Interconnection.
ECOC
Xu Wang, Wen Zheng, Changran Hu, Yuan Xia, Fangyi Tang, Lingbo Zhou, Chengwen Xu, Ruiqiang Ji
2025 J jnl
GAPS: A Clinically Grounded, Automated Benchmark for Evaluating AI Clinicians.
CoRR
Xiuyuan Chen, Tao Sun, Dexin Su, Ailing Yu, Junwei Liu, Zhe Chen, Gangzeng Jin, Xin Wang, Jingnan Liu, Hansong Xiao, Hualei Zhou, Dongjie Tao, Chunxiao Guo, Minghui Yang, Yuan Xia, Jing Zhao, Qianrui Fan, Yanyun Wang, Shuai Zhen, Kezhong Chen, Jun Wang, Zewen Sun, Heng Zhao, Tian Guan, Shaodong Wang, Geyun Chang, Jiaming Deng, Hongchengcheng Chen, Kexin Feng, Ruzhen Li, Jiayi Geng, Changtai Zhao, Guihu Lin, Peihao Li, Liqi Liu, Peng Wei, Jian Wang, Jinjie Gu, Ping Wang, Fan Yang
2025 B conf
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.
FMCAD
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh
2025 J jnl
ImageScope: Unifying Language-Guided Image Retrieval via Large Multimodal Model Collective Reasoning.
CoRR
Pengfei Luo, Jingbo Zhou, Tong Xu, Yuan Xia, Linli Xu, Enhong Chen
2025 A* conf
Improving Retrieval Augmented Language Model with Self-Reasoning.
AAAI
Yuan Xia, Jingbo Zhou, Zhenhui Shi, Jun Chen, Haifeng Huang
2025 Misc conf
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
SAC
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 J jnl
MedRepBench: A Comprehensive Benchmark for Medical Report Interpretation.
CoRR
Fangxin Shang, Yuan Xia, Dalu Yang, Yahui Wang, Binglin Yang
2025 J jnl
Recent Advances, Applications and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2024 Symposium.
CoRR
Amin Adibi, Xu Cao, Zongliang Ji, Jivat Neet Kaur, Winston Chen, Elizabeth Healey, Brighton Nuwagira, Wenqian Ye, Geoffrey Woollard, Maxwell A. Xu, Hejie Cui, Johnny Xi, Trenton Chang, Vasiliki Bikia, Nicole Zhang, Ayush Noori, Yuan Xia, Md. Belal Hossain, Hanna A. Frank, Alina Peluso, Yuan Pu, Shannon Zejiang Shen, John Wu, Adibvafa Fallahpour, Sazan Mahbub, Ross Duncan, Yuwei Zhang, Yurui Cao, Zuheng Xu, Michael Craig, Rahul G. Krishnan, Rahmatollah Beheshti, James M. Rehg, Mohammad Ehsanul Karim, Megan Coffee, Leo Anthony Celi, Jason Alan Fries, Mohsen Sadatsafavi, Dennis L. Shung, Shannon K. McWeeney, Jessica Dafflon, Sarah Jabbour
2024 — conf
Fault Detection Method for Dust Removal Equipment Based on Digital Twin and OCSVM Optimized by Clonal Selection.
MLNLP
Ye Tian, Hui Chen, Yingfeng Wei, Kai Zhao, Jie Zhu, Yuan Xia, Guiyuan Wang, Qiyi He, Wen Zhou, Han Wang, Ao Xu
2024 J jnl
Improving Retrieval Augmented Language Model with Self-Reasoning.
CoRR
Yuan Xia, Jingbo Zhou, Zhenhui Shi, Jun Chen, Haifeng Huang
2024 J jnl
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification.
ACM Trans. Cyber Phys. Syst.
Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
2024 J jnl
Superflows: A New Tool for Forensic Network Flow Analysis.
CoRR
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
2024 — conf
Systematic Translation from Natural Language Robot Task Descriptions to STL.
AISoLA
Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh
2023 J jnl
Data-Driven Template-Free Invariant Generation.
CoRR
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2023 J jnl
Design of a Data Acquisition, Correction and Retrieval of Na Doppler Lidar for Diurnal Measurement of Temperature and Wind in the Mesosphere and Lower Thermosphere Region.
Remote. Sens.
Yuan Xia, Xuewu Cheng, Zelong Wang, Linmei Liu, Yong Yang, Lifang Du, Jing Jiao, Jihong Wang, Haoran Zheng, Yajuan Li, Faquan Li, Guotao Yang
2023 J jnl
Determinants of high school students' digital reading flow experience: an experimental study.
Electron. Libr.
Jingjun Chen, Xiwen Tang, Yuan Xia, Shangfei Bao, Jianting Shen
2023 C conf
LifetimeKV: Narrowing the Lifetime Gap of SSTs in LSMT-based KV Stores for ZNS SSDs.
ICCD
Biyong Liu, Yuan Xia, Xueliang Wei, Wei Tong
2023 A* conf
Multimodal Biological Knowledge Graph Completion via Triple Co-Attention Mechanism.
ICDE
Derong Xu, Jingbo Zhou, Tong Xu, Yuan Xia, Ji Liu, Enhong Chen, Dejing Dou
2022 A* conf
A Speaker-Aware Co-Attention Framework for Medical Dialogue Information Extraction.
EMNLP
Yuan Xia, Zhenhui Shi, Jingbo Zhou, Jiayu Xu, Chao Lu, Yehui Yang, Lei Wang, Haifeng Huang, Xia Zhang, Junwei Liu
2022 J jnl
Gravity Wave Parameters and Their Seasonal Variations Study near 120°E China Based on Na LIDAR Observations.
Remote. Sens.
Xu Zou, Guotao Yang, Paulo Prado Batista, Jihong Wang, Vania F. Andrioli, Xuewu Cheng, Jing Jiao, Lifang Du, Tiemin Zhang, Hong Yang, Zelong Wang, Yuan Xia
2021 J jnl
An AVMD Method Based on Energy Ratio and Deep Belief Network for Fault Identification of Automation Transmission Device.
IEEE Access
Feng Ding, Yuan Xia, Jianhui Tian, Xinrui Zhang, Guangchu Hu
2021 A* conf
Medical Entity Relation Verification with Large-scale Machine Reading Comprehension.
KDD
Yuan Xia, Chunyu Wang, Zhenhui Shi, Jingbo Zhou, Chao Lu, Haifeng Huang, Hui Xiong
2020 C conf
A Drift Detection Method Based on Diversity Measure and McDiarmid's Inequality in Data Streams.
GPC
Yuan Xia, Yunlong Zhao
2020 A* conf
A comprehensive study of autonomous vehicle bugs.
ICSE
Joshua Garcia, Yang Feng, Junjie Shen, Sumaya Almanee, Yuan Xia, Qi Alfred Chen
2020 J jnl
A pseudo-dynamic search ant colony optimization algorithm with improved negative feedback mechanism.
Cogn. Syst. Res.
Jun Li, Yuan Xia, Bo Li, Zhigao Zeng
2020 — conf
Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method.
WCSP
Wang Luo, Tong Li, Weidong Yang, Tongwei Yu, Dingding Xi, Li Shen, Yuan Xia, Zhibin Yang, Huarong Xu
2020 — conf
Embedded Object Detection System Based on Deep Neural Network.
CISP-BMEI
Hanwu Luo, Wenzhen Li, Wang Luo, Fang Li, Jun Chen, Yuan Xia
2020 A* conf
Generative Adversarial Regularized Mutual Information Policy Gradient Framework for Automatic Diagnosis.
AAAI
Yuan Xia, Jingbo Zhou, Zhenhui Shi, Chao Lu, Haifeng Huang
2020 J jnl
High Resolution 3-D Imaging of Mesospheric Sodium (Na) Layer Utilizing a Novel Multilayer ICCD Imager and a Na Lidar.
Remote. Sens.
Xuewu Cheng, Guotao Yang, Tao Yuan, Yuan Xia, Yong Yang, Jiqin Wang, Kaijun Ji, Xin Lin, Lifang Du, Linmei Liu, Kaijie Ji, Faquan Li
2020 J jnl
LSMVOS: Long-Short-Term Similarity Matching for Video Object.
CoRR
Xuerui Zhang, Yuan Xia
2019 — conf
Extracting PICO Elements From RCT Abstracts Using 1-2gram Analysis And Multitask Classification.
ICMHI
Yuan Xia, Xiaoli Liao, Shilei Li, Qinwen Shi, Ke Li
2019 J jnl
Extracting PICO elements from RCT abstracts using 1-2gram analysis and multitask classification.
CoRR
Yuan Xia, Xiaoli Liao, Shilei Li, Qinwen Shi, Jinfa Wu, Ke Li
2019 J jnl
metrics and methods of video quality assessment: a brief review.
Multim. Tools Appl.
Qiang Fan, Wang Luo, Yuan Xia, Guozhi Li, Daojing He
2018 — conf
A Pseudo-dynamic Search Ant Colony Optimization Algorithm with Improved Negative Feedback Mechanism to Solve TSP.
ICIC (3)
Jun Li, Yuan Xia, Bo Li, Zhigao Zeng
2018 — conf
An Adaptive Iteratively Weighted Half Thresholding Algorithm for Image Compressive Sensing Reconstruction.
CSPS (2)
Qiwei Peng, Tongwei Yu, Wang Luo, Tong Li, Gaofeng Zhao, Qiang Fan, Xiaolong Hao, Peng Wang, Zhiguo Li, Qilei Zhong, Min Feng, Lei Yu, Tingliang Yan, Shaowei Liu, Yuan Xia, Bin Han, Qibin Dai, Yunyi Li, Zhenyue Zhang, Guan Gui
2018 — conf
Intent-Aware Audience Targeting for Ride-Hailing Service.
ECML/PKDD (3)
Yuan Xia, Jingbo Zhou, Jingjia Cao, Yanyan Li, Fei Gao, Kun Liu, Haishan Wu, Hui Xiong
2018 J jnl
LAA as a Key Enabler in Slice-Aware 5G RAN: Challenges and Opportunities.
IEEE Commun. Stand. Mag.
Emmanouil Pateromichelakis, Ömer Bulakci, Chenghui Peng, Jiayin Zhang, Yuan Xia
2018 — conf
Novel Combination Policy for Diffusion Adaptive Networks.
CSPS (1)
Qiang Fan, Wang Luo, Wenzhen Li, Gaofeng Zhao, Qiwei Peng, Xiaolong Hao, Peng Wang, Zhiguo Li, Qilei Zhong, Min Feng, Lei Yu, Tingliang Yan, Shaowei Liu, Yuan Xia, Bin Han, Qibin Dai, Jie Wang, Guan Gui
2018 — conf
Novel Combination Policy for Diffusion Adaptive Networks.
CSPS (2)
Qiang Fan, Wang Luo, Wenzhen Li, Gaofeng Zhao, Qiwei Peng, Xiaolong Hao, Peng Wang, Zhiguo Li, Qilei Zhong, Min Feng, Lei Yu, Tingliang Yan, Shaowei Liu, Yuan Xia, Bin Han, Qibin Dai, Jie Wang, Guan Gui
2018 — conf
Parallelization of Extracting Binary Program Execution Trace Offline.
ICAIP
Yuan Xia, Chao Feng, Xing Zhang, Runhao Li, Chaojing Tang
2018 — conf
The Review of the Major Entropy Methods and Applications in Biomedical Signal Research.
ISBRA
Guangdi Liu, Yuan Xia, Chuanwei Yang, Le Zhang
2017 — conf
Coarse-to-fine registration for infrared and visible images of power grid.
ICSAI
Wang Luo, Xiaolong Hao, Changfu Xu, Yang Cui, Yuan Xia, Qiang Fan, Qiwei Peng, Gaofeng Zhao, Min Feng, Pei Zhang, Yanxue Guo, Hongchi Liang
2017 J jnl
Corrections to "A Combined Rotational Raman-Rayleigh Lidar for Atmospheric Temperature Measurements Over 5-80 km With Self-Calibration".
IEEE Trans. Geosci. Remote. Sens.
Yajuan Li, Xin Lin, Shalei Song, Yong Yang, Xuewu Cheng, Zhenwei Chen, Linmei Liu, Yuan Xia, Jun Xiong, Shunsheng Gong, Faquan Li
2017 — conf
Developing a localized web server for survival, generic and protein data analysis with high performance computing technology.
BIBM
Xun Pu, Jinghang Chen, Edwin Tawanda Mudzingwa, Chengyang Jing, Yuan Xia, Yusheng Huan, Ping Chen, Tingting Li, Kun Lu, Le Zhang
2017 J jnl
Multilevel Monte Carlo for exponential Lévy models.
Finance Stochastics
Michael B. Giles, Yuan Xia
2016 J jnl
A Combined Rotational Raman-Rayleigh Lidar for Atmospheric Temperature Measurements Over 5-80 km With Self-Calibration.
IEEE Trans. Geosci. Remote. Sens.
Yajuan Li, Xin Lin, Shalei Song, Yong Yang, Xuewu Cheng, Zhenwei Chen, Linmei Liu, Yuan Xia, Jun Xiong, Shunsheng Gong, Faquan Li
2016 — conf
Image annotation of power grid objects based on convolutional neural networks.
WCSP
Wang Luo, Min Feng, Qiang Fan, Qiwei Peng, Guozhi Li, Xiaolong Hao, Lei Yu, Yuan Xia
2016 — conf
Video Quality Assessment by Decoupling Distortions on Primary Visual Information.
WICON
Yang Li, Xu Wang, Feng Li, Qingrui Guo, Qiang Fan, Qiwei Peng, Wang Luo, Min Feng, Yuan Xia, Shaowei Liu
2006 — conf
Delay analysis of DRP in MBOA UWB MAC.
ICC
Haitao Wu, Yuan Xia, Qian Zhang
2004 B conf
Multiuser subcarrier and bit allocation for MIMO-OFDM systems with perfect and partial channel information.
WCNC
Zhenping Hu, Guangxi Zhu, Yuan Xia, Gan Liu