🧑🔬 Jordan Meadows — papers of 2026 — Elamur Research1 paper · all years of Jordan MeadowsFormalScience: 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 Freitas2026This page in Markdown → https://md.research.elamur.ai/free/en/authors/jordan-meadows/year/2026/