Yue, Yisong

ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search

Zhang, D., Zhoubian, S., Hu, Z., Yue, Y., Dong, Y., & Tang, J. (2024) · Advances in Neural Information Processing Systems 37

Artificial Intelligence in GamesReinforcement Learning in Robotics

Cited by 93

Feature Reuse and Scaling: Understanding Transfer Learning with Protein Language Models

Li, F.-Z., Amini, A. P., Yue, Y., Yang, K. K., & Lu, A. X. (2024) · bioRxiv (Cold Spring Harbor Laboratory)

Machine Learning in BioinformaticsProtein Structure and Dynamics

Cited by 51

ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search

Zhang, D., Zhoubian, S., Hu, Z., Yue, Y., Dong, Y., & Tang, J. (2024) · arXiv

Artificial Intelligence in GamesReinforcement Learning in Robotics

Cited by 32

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Thakur, A., Lee, J., Tsoukalas, G., Sistla, M., Zhao, M., Zetzsche, S., Durrett, G., Yue, Y., & Chaudhuri, S. (2025) · arXiv

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 0

Conformal Risk Training: End-to-End Optimization of Conformal Risk Control

Yeh, C., Christianson, N., Wierman, A., & Yue, Y. (2025) · arXiv

Risk and Portfolio OptimizationAdversarial Robustness in Machine Learning

Cited by 0