← back to paper

Review history

arxiv: 2604.25031 · 2 revisions

Faithful Autoformalization via Roundtrip Verification and Repair

1. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 7.0
   34064 ms 5481 in 1387 out 2026-05-12T00:59:37.795496+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 7.0
   44129 ms 5439 in 1319 out 2026-05-08T03:24:18.588691+00:00