Linfeng Song

20 papers at tracked venues · 19 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×9 NeurIPS ×4 AAAI ×2 ICLR ×2 EMNLP ×1 ICML ×1 WWW ×1

Frequent coauthors

Haitao Mi

×16

Dong Yu

×15

Dian Yu

×9

Ye Tian

×7

Baolin Peng

×7

Ante Wang

×6

Jinsong Su

×6

Lifeng Jin

×5

Zhaopeng Tu

×4

Zhenwen Liang

×4

Jiahao Xu

×3

Juntao Li

×2

Papers

Crossing the Reward Bridge: Expanding Reinforcement Learning with Verifiable Rewards Across Diverse Domains
ACL 2026 ·
Yi Su
,
Dian Yu
, Linfeng Song,
Juntao Li
,
Haitao Mi
,
Zhaopeng Tu
,
Min Zhang
,
Dong Yu
EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
ACL 2026 ·
Mukai Li
, Linfeng Song,
Zhenwen Liang
,
Jiahao Xu
,
Shansan Gong
,
Qi Liu
,
Haitao Mi
,
Dong Yu
Verified Critical Step Optimization for LLM Agents
ACL 2026 ·
Mukai Li
,
Qingcheng Zeng
,
Tianqing Fang
,
Zhenwen Liang
, Linfeng Song,
Qi Liu
,
Haitao Mi
,
Dong Yu
Your Reasoning Model is Secretly a Reward Model - Optimization-Free Verification from Experience
ACL 2026 ·
Zhenwen Liang
,
Ruosen Li
,
Yujun Zhou
, Linfeng Song,
Dian Yu
,
Xinya Du
,
Haitao Mi
,
Dong Yu
Do NOT Think That Much for 2+3=? On the Overthinking of Long Reasoning Models
ICML 2025 ·
Xingyu Chen
,
Jiahao Xu
,
Tian Liang
,
Zhiwei He
,
Jianhui Pang
,
Dian Yu
, Linfeng Song,
Qiuzhi Liu
,
Mengfei Zhou
,
Zhuosheng Zhang
,
Rui Wang
,
Zhaopeng Tu
,
Haitao Mi
,
Dong Yu
Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls
ACL 2025 ·
Ante Wang
, Linfeng Song,
Ye Tian
,
Dian Yu
,
Haitao Mi
,
Xiangyu Duan
,
Zhaopeng Tu
,
Jinsong Su
,
Dong Yu
Improving LLM General Preference Alignment via Optimistic Online Mirror Descent
NeurIPS 2025 ·
Yuheng Zhang
,
Dian Yu
,
Tao Ge
, Linfeng Song,
Zhichen Zeng
,
Haitao Mi
,
Nan Jiang
,
Dong Yu
Iterative Nash Policy Optimization: Aligning LLMs with General Preferences via No-Regret Learning
ICLR 2025 ·
Yuheng Zhang
,
Dian Yu
,
Baolin Peng
, Linfeng Song,
Ye Tian
,
Mingyue Huo
,
Nan Jiang
,
Haitao Mi
,
Dong Yu
LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning
AAAI 2025 ·
Ante Wang
, Linfeng Song,
Ye Tian
,
Baolin Peng
,
Dian Yu
,
Haitao Mi
,
Jinsong Su
,
Dong Yu
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
NeurIPS 2025 ·
Zhenwen Liang
, Linfeng Song,
Yang Li
,
Tao Yang
,
Haitao Mi
,
Dong Yu
SR-LLM: Rethinking the Structured Representation in Large Language Model
ACL 2025 ·
Jiahuan Zhang
,
Tianheng Wang
,
Ziyi Huang
,
Yulong Wu
,
Hanqing Wu
,
DongbaiChen DongbaiChen
, Linfeng Song,
Yue Zhang
,
Guozheng Rao
,
Kaicheng Yu
Thoughts Are All Over the Place: On the Underthinking of Long Reasoning Models
NeurIPS 2025 ·
Yue Wang
,
Qiuzhi Liu
,
Jiahao Xu
,
Tian Liang
,
Xingyu Chen
,
Zhiwei He
, Linfeng Song,
Dian Yu
,
Juntao Li
,
Zhuosheng Zhang
,
Rui Wang
,
Zhaopeng Tu
,
Haitao Mi
,
Dong Yu
Discrete Conditional Diffusion for Reranking in Recommendation
WWW 2024 ·
Xiao Lin
,
Xiaokai Chen
,
Chenyang Wang
,
Hantao Shu
, Linfeng Song,
Biao Li
,
Peng Jiang
Improving LLM Generations via Fine-Grained Self-Endorsement
ACL 2024 ·
Ante Wang
, Linfeng Song,
Baolin Peng
,
Lifeng Jin
,
Ye Tian
,
Haitao Mi
,
Jinsong Su
,
Dong Yu
Mitigating Catastrophic Forgetting in Large Language Models with Self-Synthesized Rehearsal
ACL 2024 ·
Jianheng Huang
,
Leyang Cui
,
Ante Wang
,
Chengyi Yang
,
Xinting Liao
, Linfeng Song,
Junfeng Yao
,
Jinsong Su
Response Enhanced Semi-supervised Dialogue Query Generation
AAAI 2024 ·
Jianheng Huang
,
Ante Wang
,
Linfeng Gao
, Linfeng Song,
Jinsong Su
Self-Alignment for Factuality: Mitigating Hallucinations in LLMs via Self-Evaluation
ACL 2024 ·
Xiaoying Zhang
,
Baolin Peng
,
Ye Tian
,
Jingyan Zhou
,
Lifeng Jin
, Linfeng Song,
Haitao Mi
,
Helen Meng
Self-Consistency Boosts Calibration for Math Reasoning
EMNLP 2024 ·
Ante Wang
, Linfeng Song,
Ye Tian
,
Baolin Peng
,
Lifeng Jin
,
Haitao Mi
,
Jinsong Su
,
Dong Yu
The Trickle-down Impact of Reward Inconsistency on RLHF
ICLR 2024 ·
Lingfeng Shen
,
Sihao Chen
, Linfeng Song,
Lifeng Jin
,
Baolin Peng
,
Haitao Mi
,
Daniel Khashabi
,
Dong Yu
Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing
NeurIPS 2024 ·
Ye Tian
,
Baolin Peng
, Linfeng Song,
Lifeng Jin
,
Dian Yu
,
Lei Han
,
Haitao Mi
,
Dong Yu