← back to paper

Review history

arxiv: 2606.31134 · 2 revisions

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

1. 2026-07-03 ACCEPT MODERATE v0.9.1-grok novelty 7.0
   20247 ms 5814 in 1356 out 2026-07-03T22:31:45.771527+00:00
2. 2026-07-01 CONDITIONAL LOW v0.9.1-grok novelty 7.0
   42211 ms 5814 in 1328 out 2026-07-01T05:52:50.095380+00:00