#136 of 2292 in Artificial Intelligence (All Time)
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
Congratulate the authors
Know the authors? Send them a congratulation.
arXiv
Know the authors? Send them a congratulation.