Formalized papers

Adaptive Estimation and Inference in Conditional Moment Models via the Discrepancy Principle

Summary. 29 result(s) of the paper were examined. 3 were found wrong as printed: 3 corrected, 0 not repaired. In Lean: 28 proved, 1 taken from the literature as cited, 0 not certified, 0 not formalized.

• REPORT.md — the report: what was revised and what was proved
• Revised PDF — the paper with its revisions
• lean/ — the Lean code

seal 37af8cef98ae269d5f3b15474c1ef7e92f33de9fa3b81499d6deab8483093668 — a checksum of the reviewers' verdicts and every file of the bundle. It shows the bundle is complete and unchanged; it does not show who ran the check.