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
Arithmetic Control of LLMs for Diverse User Preferences: Directional Preference Alignment with Multi-Objective Rewards
arXiv 2024
Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs
arXiv 2024
Entropy-Regularized Process Reward Model
arXiv 2024
What is Essential for Unseen Goal Generalization of Offline Goal-conditioned RL?
arXiv 2023
Mitigating the Alignment Tax of RLHF
arXiv 2023
Active Prompting with Chain-of-Thought for Large Language Models
arXiv 2023
R-Tuning: Instructing Large Language Models to Say `I Don't Know'
arXiv 2023
Affiliations
Frequent co-authors
10from 11 papers