Yuan Yao

Venues

Frequent coauthors

Papers

1. A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
   NeurIPS 2025 ·

   Zhi Zhou

   DBLP profile ↗ORCID search ↗
2. An Embarrassingly Simple but Effective Knowledge-enhanced Recommender
   CIKM 2025 ·

   Haibo Ye

   DBLP profile ↗ORCID search ↗
3. LoRA Decompose: Serving Fine-Tuned Models into LoRA-Like
   ECAI 2025 ·

   Yibo Han

   DBLP profile ↗ORCID search ↗
4. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
   ICLR 2025 ·

   Zenan Li

   DBLP profile ↗ORCID search ↗
5. Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving
   IJCAI 2025 ·

   Bingzhe Zhou

   DBLP profile ↗ORCID search ↗
6. Inspecting Prediction Confidence for Detecting Black-Box Backdoor Attacks
   AAAI 2024 ·

   Tong Wang

   DBLP profile ↗ORCID search ↗
7. Neuro-Symbolic Data Generation for Math Reasoning
   NeurIPS 2024 ·

   Zenan Li

   DBLP profile ↗ORCID search ↗
8. PrivLM-Bench: A Multi-level Privacy Evaluation Benchmark for Language Models
   ACL 2024 ·

   Haoran Li

   DBLP profile ↗ORCID search ↗
9. Towards Open Domain Text-Driven Synthesis of Multi-person Motions
   ECCV 2024 ·

   Mengyi Shan

   DBLP profile ↗ORCID search ↗