🧑🔬 Xinyi Le — papers of 2025 — 1 paper, the most cited first1 paper · all years of Xinyi LeReviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/xinyi-le/year/2025/