Formalizing the interpolation lemma of the openai/math Landau–Siegel paper and substituting it into a Comparator-accepted proof
Source files
root filemain.tex · root file3 KiB · SHA-256 71ff04dfec7e2a21… · view textauxiliary fileabstract.tex1 KiB · SHA-256 addc3b839f1f3063… · view textauxiliary fileappendix-78-listings.tex1 KiB · SHA-256 0e87d53a7957db26… · view textauxiliary fileappendix-reasoning.tex4 KiB · SHA-256 340971f9b8c17cd3… · view textauxiliary filerefs.bib14 KiB · SHA-256 83c4676d1da177fe… · view textauxiliary filesec1-intro.tex4 KiB · SHA-256 ebbec1717d9063ad… · view textauxiliary filesec10-ai.tex1 KiB · SHA-256 d99845a8c0b1444c… · view textauxiliary filesec2-background.tex3 KiB · SHA-256 621020c9ce69cf36… · view textauxiliary filesec3-faithfulness.tex8 KiB · SHA-256 ac20958f394a34e7… · view textauxiliary filesec4-gap.tex11 KiB · SHA-256 26f4a679d254fc1f… · view textauxiliary filesec5-lemma3.tex10 KiB · SHA-256 0feef46b42561af4… · view textauxiliary filesec6-reroute.tex4 KiB · SHA-256 e1bc40cd27f0248a… · view textauxiliary filesec7-corpus.tex5 KiB · SHA-256 c9d6a2bdcb8aa852… · view textauxiliary filesec8-threats.tex4 KiB · SHA-256 47ffb2f4e899a981… · view textauxiliary filesec9-artifacts.tex3 KiB · SHA-256 8c7f29e53d77f5a0… · view text