▲ 3 pointsBeyond the Library: An Agentic Framework for Autoformalizing Research Matharxiv.orgby matt_d·9d ago·0 comments·view on hn ↗