There is a newer version of the record available.

Published October 9, 2026 | Version reviewer-packet-v1
Software Open

Verification package for openai/math family 003, Uniform exclusion of Landau–Siegel zeros: comparator + nanoda replay, Lean formalization of the paper's Lemma 3, rerouted proof, exact small-N checks

Authors/Creators

  • 1. Northeastern University

Description

Verification package for openai/math family 003, Uniform exclusion of Landau–Siegel zeros: comparator + nanoda replay, Lean formalization of the paper's Lemma 3, rerouted proof, exact small-N checks

Notes

If you use this verification package, please cite it as below.

Files

jmreilly1113/siegel-zeros-audit-reviewer-packet-v1.zip

Files (6.7 MB)

Name Size
md5:fe79787a8a835e1d79393d0a944f6440
6.7 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/jmreilly1113/siegel-zeros-audit/tree/reviewer-packet-v1 (URL)

Software

Repository URL
https://github.com/jmreilly1113/siegel-zeros-audit