Beyond the Library: An Agentic Framework for Autoformalizing Research Math

 (arxiv.org)

2 points | by matt_d 20 hours ago

0 comments