Beyond the Library: An Agentic Framework for Autoformalizing Research Math #1 Post by matt_d » Thu, Aug 06, 2026, 10:01 PM UTC Beyond the Library: An Agentic Framework for Autoformalizing Research Matharxiv.org