← back to paper

Review history

arxiv: 2604.23135 · 2 revisions

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization

1. 2026-05-21 UNVERDICTED LOW v0.9.0 novelty 7.0
   52000 ms 5692 in 1204 out 2026-05-21T00:44:34.831610+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 6.0
   43824 ms 5452 in 1175 out 2026-05-08T08:30:06.087700+00:00