3 ms·Beyond the Library: An Agentic Framework for Autoformalizing Research Math3 points by matt_d 2mo ago