Skip to content

NIM paper · interactive edition

Paper PDF Proof coverage Lean sources Build About this edition

Interactive edition · paper, explanations and Lean proofs.

Independent audit, 2026-10-10 (dated evidence)

Unchanged copies.

AUDIT_REPORT.txt
declaration_index.json
paper_proof_correspondence.json
reproduction_results.json
input_manifest.json
audit_results.json

Interactive edition of a manuscript by Søren Riis (11 October 2026). The paper text is generated from paper_jmlr.tex; the PDF is the exact layout reference. Explanations, coverage records and source pages are additions of this edition and are not part of the paper.