Beyond the Library: An Agentic Framework for Autoformalizing Research Math

(arxiv.org)

2 points | by matt_d 10 hours ago

No comments yet.