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
Machine checks

No machine checks are available from the Hub API for this paper.