Yong Lin
- Papers
- 11
Cite
Notes
Only stored in your browser.
Authored papers
11Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
arXiv 2025
AdaptMI: Adaptive Skill-based In-context Math Instruction for Small Language Models
arXiv 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
arXiv 2025
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
arXiv 2025
Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs
arXiv 2024
Arithmetic Control of LLMs for Diverse User Preferences: Directional Preference Alignment with Multi-Objective Rewards
arXiv 2024
Entropy-Regularized Process Reward Model
arXiv 2024
R-Tuning: Instructing Large Language Models to Say `I Don't Know'
arXiv 2023
Mitigating the Alignment Tax of RLHF
arXiv 2023
Active Prompting with Chain-of-Thought for Large Language Models
arXiv 2023
What is Essential for Unseen Goal Generalization of Offline Goal-conditioned RL?
arXiv 2023
Affiliations
Frequent co-authors
10from 11 papers