🧑🔬 Xian Zhang — papers of 2024 — 3 papers, the most cited first3 papers · all years of Xian ZhangA Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citationsAutoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citationsNeuro-Symbolic Data Generation for Math ReasoningConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Zhi Zhou, Yuan Yao, et al.2024 · 14 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/xian-zhang/year/2024/