🧑🔬 Zijin Feng — papers of 2025 — 2 papers, the most cited first2 papers · all years of Zijin FengMathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citationsProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/zijin-feng/year/2025/