% refs.bib (2026-10-27). Every field comes from a local copy, or from a read-only fetch of the source saved in refs-sources/ (one JSON per source,
% made by refs-sources/fetch_sources.py). The comment above each entry names its sources. A field that could not be confirmed is named in the
% entry's note as "UNCONFIRMED: <field>"; check.py reports each one. "key" fields are bibtex sort keys only.

% Local: refs/siegel-paper.tex:34-36 (\title, \author, \date), results/2026-10-27-paper-hashes/paper-hashes.txt (v14:L143). Fetched: refs-sources/openai-math-Uniform-exclusion-of-Lan.json (file at fd4aeeb, 404812 bytes).
@misc{openai-siegel-2026,
  author       = {{OpenAI}},
  title        = {Uniform exclusion of {Landau--Siegel} zeros},
  year         = {2026},
  month        = oct,
  howpublished = {Manuscript dated October 1, 2026, openai/math, \nolinkurl{preprints/Uniform-exclusion-of-Landau-Siegel-zeros-October-1-2026/paper.pdf}, sha256 fab9f6e8\ldots, identical at commits adc7f12 and fd4aeeb},
  url          = {https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Uniform-exclusion-of-Landau-Siegel-zeros-October-1-2026/paper.pdf}
}

% Local: the 7/8 paper's build/paper.tex:29-32 at fd4aeeb (v14:L144). Fetched: refs-sources/openai-math-The-Quasi-Riemann-Hypoth.json (1588969 bytes).
@misc{openai-qrh-2026,
  author       = {{OpenAI}},
  title        = {The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane $\operatorname{Re} s>7/8$},
  year         = {2026},
  month        = sep,
  howpublished = {Manuscript dated 30 September 2026, openai/math, \nolinkurl{preprints/The-Quasi-Riemann-Hypothesis-September-30-2026/paper.pdf}, sha256 8fe93046\ldots, identical at commits adc7f12 and fd4aeeb},
  url          = {https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Quasi-Riemann-Hypothesis-September-30-2026/paper.pdf}
}

% Local: clone /home/checker/math (origin https://github.com/openai/math); lean/formalization.yaml:8 (authors: ["OpenAI"]). Fetched: refs-sources/openai-math-commit-adc7f12.json (committer date 2026-10-06T21:58:50Z).
@misc{openai-math-adc7f12,
  author       = {{OpenAI}},
  title        = {openai/math},
  year         = {2026},
  howpublished = {GitHub repository, commit adc7f1241b42e322a6451854ab7e4b4c146bf78a (2026-10-06)},
  url          = {https://github.com/openai/math/tree/adc7f1241b42e322a6451854ab7e4b4c146bf78a}
}

% As above. Fetched: refs-sources/openai-math-commit-fd4aeeb.json (committer date 2026-10-08T05:20:00Z; the local clone shows 2026-10-07 in the committer's time zone).
@misc{openai-math-fd4aeeb,
  author       = {{OpenAI}},
  title        = {openai/math},
  year         = {2026},
  howpublished = {GitHub repository, commit fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb (2026-10-08 UTC)},
  url          = {https://github.com/openai/math/tree/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb}
}

% Local: clone /root/tools/comparator; README line 201, "Comparator was originally developed by Lean FRO" (v3-evidence/comparator-README-d03acab.md). Fetched: refs-sources/repo-leanprover_comparator.json (commit date 2026-09-14).
@misc{comparator,
  author       = {{Lean FRO}},
  title        = {Comparator},
  year         = {2026},
  howpublished = {GitHub repository leanprover/comparator, tag v4.34.0, commit d03acab154d269c06e60e4de7e4cc85deebff94b (2026-09-14)},
  url          = {https://github.com/leanprover/comparator/tree/d03acab154d269c06e60e4de7e4cc85deebff94b}
}

% Local: clone /root/tools/lean4export. Fetched: refs-sources/repo-leanprover_lean4export.json (owner organization leanprover; commit date 2026-09-14). The README names no author; the owning organization is given.
@misc{lean4export,
  author       = {{leanprover}},
  title        = {lean4export},
  year         = {2026},
  howpublished = {GitHub repository leanprover/lean4export, tag v4.34.0, commit 076e8e57707e813375e8f9da8bf989799ace9680 (2026-09-14)},
  url          = {https://github.com/leanprover/lean4export/tree/076e8e57707e813375e8f9da8bf989799ace9680},
  note         = {Author given as the owning GitHub organization}
}

% Local: clone /root/tools/nanoda_lib. Fetched: refs-sources/repo-ammkrn_nanoda_lib.json (owner ammkrn, a user account; commit date 2026-09-22) and user-ammkrn.json.
% Joe's decision (2026-10-27): use the real name only if the project states it. Cargo.toml has no authors field and the README names no author
% (pinned clone, Cargo.toml sha256 0a17b333...), so the account name is used.
@misc{nanoda-lib,
  author       = {ammkrn},
  title        = {nanoda\_lib},
  year         = {2026},
  howpublished = {GitHub repository ammkrn/nanoda\_lib, commit 3a2407216ee84a75f9e1aead6803d0578be06ae7 (2026-09-22)},
  url          = {https://github.com/ammkrn/nanoda_lib/tree/3a2407216ee84a75f9e1aead6803d0578be06ae7},
  note         = {Author given as the GitHub account name}
}

% Local: refs/nanoda-issue-55-2026-10-21.md:3-5. Fetched: refs-sources/issue-ammkrn_nanoda_lib-55.json (title, user nealmcb, created 2026-10-15) and comment-body-6293743601.json (the 1 GiB correction, 2026-10-20). Author: user-nealmcb.json (name Neal McBurnett).
@misc{nanoda-issue-55,
  author       = {Neal McBurnett},
  title        = {Stack overflow, then ``index exceeds 31-bit capacity'' panic, in \texttt{whnf} / \texttt{try\_reduce\_nat} on a small set of declarations that {Lean}'s kernel checks in seconds},
  year         = {2026},
  howpublished = {nanoda\_lib issue \#55, opened 2026-10-15; comment 6293743601 (2026-10-20)},
  url          = {https://github.com/ammkrn/nanoda_lib/issues/55}
}

% Fetched: refs-sources/issue-ammkrn_nanoda_lib-61.json (title, user nealmcb, created 2026-10-23) and comment-ammkrn_nanoda_lib-6402528075.json (nealmcb, 2026-10-25).
@misc{nanoda-issue-61,
  author       = {Neal McBurnett},
  title        = {Three openai/math configurations need a deeper stack on the current master than on the earlier one},
  year         = {2026},
  howpublished = {nanoda\_lib issue \#61, opened 2026-10-23; comment 6402528075 (2026-10-25)},
  url          = {https://github.com/ammkrn/nanoda_lib/issues/61}
}

% Fetched: refs-sources/issue-ammkrn_nanoda_lib-62.json (title, user nealmcb, created 2026-10-23).
@misc{nanoda-issue-62,
  author       = {Neal McBurnett},
  title        = {{OAI.SquareDifference.source\_ordered\_contraction} overflows the stack on the current master},
  year         = {2026},
  howpublished = {nanoda\_lib issue \#62, opened 2026-10-23},
  url          = {https://github.com/ammkrn/nanoda_lib/issues/62}
}

% Local: lean/lean-toolchain ("leanprover/lean4:v4.34.1"); commit from results/2026-10-08-lean-comparator-wsl.txt. Fetched: refs-sources/repo-leanprover_lean4.json (owner organization leanprover; commit date 2026-09-24).
@misc{lean4,
  author       = {{leanprover}},
  title        = {Lean 4},
  year         = {2026},
  howpublished = {GitHub repository leanprover/lean4, version v4.34.1, commit 5045d0056413266e57c625dcd7c365b10e377c52 (2026-09-24)},
  url          = {https://github.com/leanprover/lean4/tree/5045d0056413266e57c625dcd7c365b10e377c52},
  note         = {Author given as the owning GitHub organization}
}

% Local: Mathlib package in /home/checker/math/lean/.lake/packages/mathlib; lean/lake-manifest.json:4. Fetched: refs-sources/repo-leanprover-community_mathlib4.json (owner organization leanprover-community; commit date 2026-09-24). No CITATION.cff at this commit (mathlib4-citation-cff.json, HTTP 404).
@misc{mathlib,
  author       = {{leanprover-community}},
  title        = {Mathlib},
  year         = {2026},
  howpublished = {GitHub repository leanprover-community/mathlib4, commit d13f23b723b8a846827a245b89c10fc7d3f11612 (2026-09-24)},
  url          = {https://github.com/leanprover-community/mathlib4/tree/d13f23b723b8a846827a245b89c10fc7d3f11612},
  note         = {Author given as the owning GitHub organization}
}

% Local: refs/siegel-paper.tex:736-739 (v14:L273). Fetched: refs-sources/crossref-fischler.json (title, author S. Fischler, Compositio Mathematica 141(04), 907-925, 2005, DOI).
@article{fischler2005,
  author       = {S. Fischler},
  title        = {Interpolation on algebraic groups},
  journal      = {Compositio Mathematica},
  volume       = {141},
  number       = {4},
  pages        = {907--925},
  year         = {2005},
  doi          = {10.1112/S0010437X05001351},
  url          = {https://doi.org/10.1112/S0010437X05001351}
}

% Local: refs/banks-2610.15483.md:3-5. Fetched: refs-sources/arxiv-2610.15483.json (title, author as arXiv lists it, submitted 11 Oct 2026).
% Joe's decision (2026-10-27): the entry carries the author as arXiv lists them; the no-name rule is about acknowledgments and contact, not citations.
@misc{arxiv-2610-15483,
  author       = {William D. Banks},
  title        = {On the {OpenAI} proof that {Landau--Siegel} zeros do not exist},
  year         = {2026},
  month        = oct,
  howpublished = {arXiv:2610.15483 v1, 11 October 2026},
  doi          = {10.48550/arXiv.2610.15483},
  url          = {https://arxiv.org/abs/2610.15483}
}

% Local: v12-evidence/arxiv-2610.08144-abstract.txt. Fetched: refs-sources/arxiv-2610.08144.json (title, authors, submitted 6 Oct 2026).
@misc{bastounis2026,
  author       = {Alexander Bastounis and Fabian Circelli and Anders C. Hansen},
  title        = {{Navier-Stokes} lost in translation: Why {Lean} verification of {AI} autoformalisation does not guarantee correct natural language proofs},
  year         = {2026},
  month        = oct,
  howpublished = {arXiv:2610.08144 v1 [math.AP], 6 October 2026},
  url          = {https://arxiv.org/abs/2610.08144}
}

% Local: the read-only checkout at 1ca7ff2. Fetched: refs-sources/repo-nealmcb_openai-math-lean-tooling.json (commit date 2026-10-25) and user-nealmcb.json (name).
@misc{mcburnett-tooling,
  author       = {Neal McBurnett},
  title        = {openai-math-lean-tooling},
  year         = {2026},
  howpublished = {GitHub repository nealmcb/openai-math-lean-tooling, commit 1ca7ff2a0280760783ee2b198c0d6f2a1cfeaba4 (2026-10-25)},
  url          = {https://github.com/nealmcb/openai-math-lean-tooling/tree/1ca7ff2a0280760783ee2b198c0d6f2a1cfeaba4}
}

% Fetched: refs-sources/issue-grwtsk_openai-math-29.json (title, user grwtsk, created 2026-10-09) and comment-grwtsk_openai-math-6296359378.json (2026-10-20T16:56:00Z).
@misc{grwtsk-29,
  author       = {grwtsk},
  title        = {{[AUDIT.26]} Reproduce manuscript {PDFs} and bind paper statements to exact {Lean} declarations},
  year         = {2026},
  howpublished = {grwtsk/openai-math issue \#29, opened 2026-10-09; comment 6296359378 (2026-10-20)},
  url          = {https://github.com/grwtsk/openai-math/issues/29#issuecomment-6296359378},
  note         = {Author given as the GitHub account name}
}

% Fetched: refs-sources/issue-grwtsk_openai-math-40.json (title, user grwtsk, created 2026-10-09), comment-grwtsk_openai-math-6087525965.json (2026-10-09) and comment-body-6431288875.json (the vsock follow-up, 2026-10-27T01:16:07Z).
@misc{grwtsk-40,
  author       = {grwtsk},
  title        = {{[AUDIT.35]} Independently audit the uniform {Landau--Siegel} real-zero gap},
  year         = {2026},
  howpublished = {grwtsk/openai-math issue \#40, opened 2026-10-09; comments 6087525965 (2026-10-09) and 6431288875 (2026-10-27 UTC)},
  url          = {https://github.com/grwtsk/openai-math/issues/40},
  note         = {Author given as the GitHub account name}
}

% Local: zenodo/r23269528.json (doi, version, date). Fetched: refs-sources/zenodo-23269528.json (title, creators).
@misc{zenodo-23269528,
  author       = {Reilly, Joseph M.},
  title        = {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},
  year         = {2026},
  howpublished = {Zenodo, version reviewer-packet-v1, 2026-10-09},
  doi          = {10.5281/zenodo.23269528},
  url          = {https://doi.org/10.5281/zenodo.23269528}
}

% Local: zenodo/r23499651.json. Fetched: refs-sources/zenodo-23499651.json.
@misc{zenodo-23499651,
  author       = {Reilly, Joseph M.},
  title        = {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 (preliminary)},
  year         = {2026},
  howpublished = {Zenodo, version reviewer-packet-v2-preliminary, 2026-10-20},
  doi          = {10.5281/zenodo.23499651},
  url          = {https://doi.org/10.5281/zenodo.23499651}
}

% Local: results/2026-10-21-v3-deposit/zenodo-record-23523697.json and zenodo/r23523697.json. Fetched: refs-sources/zenodo-23523697.json.
@misc{zenodo-23523697,
  author       = {Reilly, Joseph M.},
  title        = {Verification package for openai/math family 003, Uniform exclusion of {Landau--Siegel} zeros: machine-checked complement to existing human write-ups (comparator + nanoda, {Lean} {Lemma} 3, explicit constant)},
  year         = {2026},
  howpublished = {Zenodo, version reviewer-packet-v3, 2026-10-21},
  doi          = {10.5281/zenodo.23523697},
  url          = {https://doi.org/10.5281/zenodo.23523697}
}

% Local: zenodo/r23505836.json. Fetched: refs-sources/zenodo-23505836.json.
@misc{zenodo-23505836,
  author       = {Reilly, Joseph M.},
  title        = {Comparator and nanoda replay of the openai/math {Lean} corpus at fd4aeeb, with statement checks for family 003},
  year         = {2026},
  howpublished = {Zenodo, version corpus-replay-2026-10-20, 2026-10-20},
  doi          = {10.5281/zenodo.23505836},
  url          = {https://doi.org/10.5281/zenodo.23505836}
}

% Local: zenodo/r23523697.json:6 (conceptdoi). Fetched: refs-sources/zenodo-23269527.json (the concept record resolves to the latest version, reviewer-packet-v3, id 23523697).
@misc{zenodo-23269527,
  author       = {Reilly, Joseph M.},
  title        = {Verification package for openai/math family 003, Uniform exclusion of {Landau--Siegel} zeros: machine-checked complement to existing human write-ups (comparator + nanoda, {Lean} {Lemma} 3, explicit constant)},
  year         = {2026},
  howpublished = {Zenodo concept DOI (all versions); resolves to the latest version, reviewer-packet-v3},
  doi          = {10.5281/zenodo.23269527},
  url          = {https://doi.org/10.5281/zenodo.23269527}
}