Ye Yuan
86 papers · 2016–2026 · 18 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 20 separate collaboration groups - the largest holds only 33% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Ye Yuan?
9 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Ming Zhang, Yichun Yin, Jianhao Shen
11 papers
· 2022–2026
· ACL, NAACL, EMNLP
Hide ▲
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026
SciCustom: A Framework for Custom Evaluation of Scientific Capabilities in Large Language Models
ACL 2026
MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation
NAACL 2025
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
ACL 2025
Measuring Social Norms of Large Language Models
NAACL 2024
Measuring Vision-Language STEM Skills of Neural Models
ICLR 2024
Preparing Lessons for Progressive Training on Language Models
AAAI 2024
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
Reusing Pretrained Models by Multi-linear Operators for Efficient Training
NeurIPS 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion
EMNLP 2022
11 papers whose co-authors appear nowhere else under this name
Safe Multi-Agent Reinforcement Learning via Distributional Safety Critic and Maximum Entropy Optimization
AAAI 2026
TSPO: Temporal Sampling Policy Optimization for Long-form Video Language Understanding
AAAI 2026
Graph-PAVNet: A Graph-Based Learning Framework for Pulmonary Artery and Vein Separation Using Multimodal Feature Sampling
MICCAI 2025
Real-Time Neural Denoising with Render-Aware Knowledge Distillation
AAAI 2025
A robust inlier identification algorithm for point cloud registration via ℓ_0-minimization
NeurIPS 2024
An Iterative Min-Min Optimization Method for Sparse Bayesian Learning
ICML 2024
Importance-aware Co-teaching for Offline Model-based Optimization
NeurIPS 2023
NeRFool: Uncovering the Vulnerability of Generalizable Neural Radiance Fields against Adversarial Perturbations
ICML 2023
TREA: Tree-Structure Reasoning Schema for Conversational Recommendation
ACL 2023
Metric Learning on Healthcare Data with Incomplete Modalities
IJCAI 2019
Review Networks for Caption Generation
NeurIPS 2016