← back to paper

Review history

arxiv: 2605.07710 · 2 revisions

Learning Tree Automata with Term Rewriting

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 6.0
   47065 ms 5601 in 1180 out 2026-05-25T06:27:05.667476+00:00
2. 2026-05-11 UNVERDICTED LOW v0.9.0 novelty 5.0
   48935 ms 5370 in 1081 out 2026-05-11T02:28:20.928349+00:00