arxiv:2410.06508
Linfeng Song
freesunshine0316
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
1 day ago
HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree
Search for Automated Theorem Proving
upvoted
a
paper
1 day ago
Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs
Organizations
models
None public yet
datasets
None public yet