[2604.23002] FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
![[2604.23002] FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png){kind=logo}
Summary
Abstract page for arXiv paper 2604.23002: FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
Description
Abstract page for arXiv paper 2604.23002: FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source