← back to paper

Review history

arxiv: 2508.12054 · 2 revisions

Certified Compilation based on G\"odel Numbers

1. 2026-08-15 REJECT LOW v1.4.0-alltime-deepseek-medium novelty 4.0
   155048 ms 22692 in 17005 out 2026-08-15T17:26:05.111549+00:00
2. 2026-08-05 UNVERDICTED LOW v1.4.0-alltime-deepseek-medium novelty 5.0
   173089 ms 22667 in 17808 out 2026-08-05T19:39:16.702638+00:00