Jordan Meadows, Lan Zhang, André Freitas: FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean. ACL (1) 2026: 23059-23077