← back to paper

Review history

arxiv: 2605.03274 · 2 revisions

Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4

1. 2026-05-13 ACCEPT HIGH v0.9.0 novelty 8.0
   38447 ms 5691 in 1432 out 2026-05-13T07:48:29.537718+00:00
2. 2026-05-07 ACCEPT MODERATE v0.9.0 novelty 6.0
   73222 ms 5684 in 1450 out 2026-05-07T15:55:33.445343+00:00