🧑‍🔬 Who cites Lan Zhang

29 citations of their works from 21 papers of our library (of the 149,439 whose bibliographies we read) · 5 with a page here, the most cited first · ← Lan Zhang

1. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
2. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
3. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
4. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
5. MioFFAn: An Annotation Software for Formula Formalization with LLM Automation CapabilitiesNatural Scientific Language Processing (NSLP) @ LRECNicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi2026

16 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/lan-zhang/cited-by/