🧑🔬 Lan Zhang — papers of 2026 — 2 papers, the most cited first2 papers · all years of Lan ZhangFormalScience: 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 Freitas2026VET: Verifiable Execution Tracing for Reliable Text-to-SQL GenerationFindings of the Association for Computational LinguisticsDongyu Wang, Jingyu Li, Lan Zhang, et al.2026This page in Markdown → https://md.research.elamur.ai/free/en/authors/lan-zhang/year/2026/