🧑🔬 Xiaoxing Ma — papers of 2024 — 2 papers, the most cited first2 papers · all years of Xiaoxing MaAutoformalize 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/xiaoxing-ma/year/2024/