← back to paper

Review history

arxiv: 2605.12418 · 3 revisions

Extending QuAK with Nested Quantitative Automata

1. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 5.0
   19558 ms 5743 in 1248 out 2026-06-30T21:58:37.709474+00:00
2. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 5.0
   41787 ms 5743 in 1183 out 2026-05-20T21:29:50.571342+00:00
3. 2026-05-13 UNVERDICTED LOW v0.9.0 novelty 4.0
   49833 ms 5510 in 1178 out 2026-05-13T02:28:43.069884+00:00