Valency Hub
alphaFeedback
PDF

WorksComputer Science

Formalizing the interpolation lemma of the openai/math Landau–Siegel paper and substituting it into a Comparator-accepted proof

Joseph Reilly

Published Fresh — published within the last 30 daysv1

Publication details
License
CC BY 4.0
Status
Published
AI contributions
  • Anthropic Claude Opus 5.5
View details
Ancillary data
5 data links
View

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first

  1. v1

    LatestRead version
    Viewing

Beginning of version history