← back to paper

Review history

arxiv: 2604.19000 · 2 revisions

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 7.0
   57899 ms 5731 in 1165 out 2026-05-25T06:16:36.389884+00:00
2. 2026-05-10 UNVERDICTED LOW v0.9.0 novelty 6.0
   42794 ms 5490 in 1235 out 2026-05-10T02:46:40.079196+00:00