Mengzhe Ruan
Identifiers
No identifiers captured yet.
Papers (2)
- Inference-Time Budget Control for LLM Search Agents cs.AI · 2026 · author #7
- Learning to Reason with Insight for Informal Theorem Proving cs.AI · 2026 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Bowen Deng 1 shared papers
- Chao Wang 1 shared papers
- Hanxu Hou 1 shared papers
- Hao Shi 1 shared papers
- Hongyao Liu 1 shared papers
- Jun Huang 1 shared papers
- Linqi Song 1 shared papers
- Senkang Forest Hu 1 shared papers
- Shuang Qiu 1 shared papers
- Siyang Gao 1 shared papers
- Wei Wang 1 shared papers
- Yihang Tao 1 shared papers
- Yuguang Fang 1 shared papers
- Yu Guo 1 shared papers
- Yunhe Li 1 shared papers
- Zhengru Fang 1 shared papers
- Zhonghao Chang 1 shared papers
- Zhongxiang Dai 1 shared papers