← back to paper

Review history

arxiv: 2605.20452 · 2 revisions

On the Limits of Recursive Characterizations in the Refined $A$-Translation

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 6.0
   54329 ms 5868 in 1312 out 2026-05-25T05:48:29.639386+00:00
2. 2026-05-21 UNVERDICTED LOW v0.9.0 novelty 6.0
   46428 ms 5870 in 1268 out 2026-05-21T06:59:13.213450+00:00