← back to paper

Review history

arxiv: 2605.19005 · 2 revisions

Rewrite System Showdown: Stochastic Search vs. EqSat

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 6.0
   25023 ms 5576 in 930 out 2026-05-25T05:57:24.177111+00:00
2. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 7.0
   35323 ms 5576 in 891 out 2026-05-20T08:17:34.593581+00:00