Beyond the Library: An Agentic Framework for Autoformalizing Research Math
By matt_d · 2026-08-06 · 3 points · 0 comments
https://arxiv.org/abs/2606.31134
By matt_d · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews