FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean.

Jordan Meadows, Lan Zhang, Andr Freitas

Browse the full ACL paper archive.