← back to paper

Review history

arxiv: 2605.07782 · 3 revisions

CktFormalizer: Autoformalization of Natural Language into Circuit Representations

1. 2026-05-13 UNVERDICTED LOW v0.9.0 novelty 8.0
   71334 ms 5574 in 1160 out 2026-05-13T07:28:07.294909+00:00
2. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 6.0
   43799 ms 5574 in 1357 out 2026-05-12T04:10:30.327849+00:00
3. 2026-05-11 UNVERDICTED LOW v0.9.0 novelty 7.0
   40847 ms 5574 in 1388 out 2026-05-11T03:32:48.480354+00:00