← back to paper

Review history

arxiv: 2606.30888 · 2 revisions

Automated Reasoning with Nested Datatypes

1. 2026-07-02 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   16276 ms 5581 in 792 out 2026-07-02T20:10:01.218742+00:00
2. 2026-07-01 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   24724 ms 5581 in 1015 out 2026-07-01T00:53:44.341359+00:00