arxiv:2505.10962
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
authored
a paper
5 days ago
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective
Search and Data Curation
commented on
a paper
5 days ago
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective
Search and Data Curation
Organizations
models
0
None public yet
datasets
0
None public yet