Formalized papers

Consistency of Neural Causal Partial Identification

Summary. 19 result(s) of the paper were examined, and 1 corollary a correction split off them. 13 were found wrong as printed: 13 corrected (7 by a weaker statement), 0 not repaired. In Lean: 20 proved, 0 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 15f9d18e76cb1f9ea0772653aea46ff9009f672a7b737f47ed977dc4a4d374c8 — 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.