🧑🔬 Zhaoyu Li — papers of 2024 — 3 papers, the most cited first3 papers · all years of Zhaoyu LiA Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citationsAutoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 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 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/zhaoyu-li/year/2024/