🧑🔬 Xujie Si — papers of 2024 — 2 papers, the most cited first2 papers · all years of Xujie SiA 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 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/xujie-si/year/2024/