← back to paper

Review history

arxiv: 2605.04433 · 2 revisions

Implementation of the Habegger--Lin decision algorithm

1. 2026-05-20 CONDITIONAL LOW v0.9.0 novelty 5.0
   73776 ms 5642 in 1257 out 2026-05-20T23:57:05.848198+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 5.0
   26813 ms 5411 in 1163 out 2026-05-08T17:26:30.309736+00:00