Works of Tsinghua–Berkeley Shenzhen Institute from 2025
- NaturalReasoning: Reasoning in the Wild with 2.8M Challenging QuestionsConference on Neural Information Processing Systems (NeurIPS)Weizhe Yuan, Jane Yu, Song Jiang, et al.2025 · 26 citations
- MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations
This page in Markdown → https://md.research.elamur.ai/free/en/labs/tsinghua-berkeley-shenzhen-institute/year/2025/