🧑🔬 Haoxiong Liu — papers of 2025 — 2 papers, the most cited first2 papers · all years of Haoxiong LiuMathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citationsProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure AnalysisarXiv:2501.18310Haoxiong Liu, Jiacheng Sun, Zhenguo Li, et al.2025 · 4 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/haoxiong-liu/year/2025/