TY  - RPRT
TI  - FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
AU  - Jordan Meadows
AU  - Lan Zhang
AU  - Andre Freitas
PY  - 2026
UR  - https://arxiv.org/abs/2604.23002
ID  - 2604.23002
ER  -