Linfeng Song's picture

3 6

Linfeng Song

freesunshine0316

https://freesunshine0316.github.io/

AI & ML interests

Researcher @Tencent AI Lab working on reasoning and RLAIF with LLM, especially search + RL. Working on NLP since 2010.

Recent Activity

commented a paper 4 days ago

HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

upvoted a paper 4 days ago

Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs

View all activity

Organizations

freesunshine0316's activity

commented a paper 4 days ago

HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Paper • 2412.20735 • Published 7 days ago • 9 •

commented a paper 3 months ago

Towards Self-Improvement of LLMs via MCTS: Leveraging Stepwise Knowledge with Curriculum Preference Learning

Paper • 2410.06508 • Published Oct 9, 2024 • 10 •

commented a paper 6 months ago

LiteSearch: Efficacious Tree Search for LLM

Paper • 2407.00320 • Published Jun 29, 2024 • 37 •