← back to paper

Review history

arxiv: 2607.01544 · 2 revisions

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond

1. 2026-07-14 ACCEPT HIGH v1.1.0-grok45 novelty 6.5
   28225 ms 37868 in 2499 out 2026-07-14T16:44:51.481769+00:00
2. 2026-07-03 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   25880 ms 5731 in 1037 out 2026-07-03T18:12:52.907804+00:00