Beyond the Library: An Agentic Framework for Autoformalizing Research Math

2 pointsposted 10 hours ago
by matt_d
(arxiv.org)

No comments yet