PPaperPicks

Yuan Yao

13 papers at tracked venues · 7 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ASE ×2ISSTA ×2NeurIPS ×2AAAI ×1ACL ×1CIKM ×1ECAI ×1ECCV ×1ICLR ×1IJCAI ×1

Frequent coauthors

Xiaoxing Ma
×7
Zenan Li
×4
Tangzhi Xu
×3
Taolue Chen
×3
Feng Xu
×3
Zhi Zhou
×2
Yufeng Li
×2
Weining Cao
×2
Guangyuan Wu
×2
Hengfeng Wei
×2
Xian Zhang
×2
Fan Yang
×2

Papers

  1. A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
    NeurIPS 2025 ·
    Zhi Zhou
    ,
    Tan Yuhao
    ,
    Zenan Li
    , Yuan Yao,
    Lan-Zhe Guo
    ,
    Yufeng Li
    ,
    Xiaoxing Ma
  2. An Embarrassingly Simple but Effective Knowledge-enhanced Recommender
    CIKM 2025 ·
    Haibo Ye
    ,
    Lijun Zhang
    , Yuan Yao,
    Xinjie Li
  3. Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
    ISSTA 2025 ·
    Weining Cao
    ,
    Guangyuan Wu
    ,
    Tangzhi Xu
    , Yuan Yao,
    Hengfeng Wei
    ,
    Taolue Chen
    ,
    Xiaoxing Ma
  4. Comprehend, Imitate, and then Update: Unleashing the Power of LLMs in Test Suite Evolution
    ASE 2025 ·
    Tangzhi Xu
    ,
    Jianhan Liu
    , Yuan Yao,
    Cong Li
    ,
    Feng Xu
    ,
    Xiaoxing Ma
  5. LoRA Decompose: Serving Fine-Tuned Models into LoRA-Like
    ECAI 2025 ·
    Yibo Han
    ,
    Tangzhi Xu
    ,
    Zenan Li
    ,
    Yijia Zhang
    ,
    Youshan Miao
    , Yuan Yao,
    Ningyi Xu
  6. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
    ICLR 2025 ·
    Zenan Li
    ,
    Zhaoyu Li
    ,
    Wen Tang
    ,
    Xian Zhang
    , Yuan Yao,
    Xujie Si
    ,
    Fan Yang
    ,
    Kaiyu Yang
    ,
    Xiaoxing Ma
  7. Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving
    IJCAI 2025 ·
    Bingzhe Zhou
    ,
    Hannan Wang
    , Yuan Yao,
    Taolue Chen
    ,
    Feng Xu
    ,
    Xiaoxing Ma
  8. Datactive: Data Fault Localization for Object Detection Systems
    ISSTA 2024 ·
    Yining Yin
    ,
    Yang Feng
    ,
    Shihao Weng
    , Yuan Yao,
    Jia Liu
    ,
    Zhihong Zhao
  9. Inspecting Prediction Confidence for Detecting Black-Box Backdoor Attacks
    AAAI 2024 ·
    Tong Wang
    , Yuan Yao,
    Feng Xu
    ,
    Miao Xu
    ,
    Shengwei An
    ,
    Ting Wang
  10. LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
    ASE 2024 ·
    Guangyuan Wu
    ,
    Weining Cao
    , Yuan Yao,
    Hengfeng Wei
    ,
    Taolue Chen
    ,
    Xiaoxing Ma
  11. Neuro-Symbolic Data Generation for Math Reasoning
    NeurIPS 2024 ·
    Zenan Li
    ,
    Zhi Zhou
    , Yuan Yao,
    Xian Zhang
    ,
    Yufeng Li
    ,
    Chun Cao
    ,
    Fan Yang
    ,
    Xiaoxing Ma
  12. PrivLM-Bench: A Multi-level Privacy Evaluation Benchmark for Language Models
    ACL 2024 ·
    Haoran Li
    ,
    Dadi Guo
    ,
    Donghao Li
    ,
    Wei Fan
    ,
    Qi Hu
    ,
    Xin Liu
    ,
    Chunkit Chan
    ,
    Duanyi Yao
    , Yuan Yao,
    Yangqiu Song
  13. Towards Open Domain Text-Driven Synthesis of Multi-person Motions
    ECCV 2024 ·
    Mengyi Shan
    ,
    Lu Dong
    ,
    Yutao Han
    , Yuan Yao,
    Tao Liu
    ,
    Ifeoma Nwogu
    ,
    Guo-Jun Qi
    ,
    Mitch Hill