Yuan Xia

1. Improving Retrieval Augmented Language Model with Self-Reasoning
   2024/07/29 by Yuan Xia, Xia, Yuan, Jingbo Zhou +7 · 2 voices · 13 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques
2. Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
   2020/04/01 by Chuchu Fan, Fan, Chuchu, Xin Qin +7 · 2 citations
   Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
3. ImageScope: Unifying Language-Guided Image Retrieval via Large Multimodal Model Collective Reasoning
   2025/03/13 by Pengfei Luo, Luo, Pengfei, Jingbo Zhou +9 · 3 citations
   Computer Science · #Advanced Image and Video Retrieval Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Image Retrieval and Classification Techniques #Information Retrieval (cs.IR) #Multimedia (cs.MM) #Multimodal Machine Learning Applications
4. Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
   2025/04/28 by Yuan Xia, Akanksha Atrey, Xia, Yuan +5 · 1 voice · 1 citation
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Formal Methods in Verification