Generalization error bounds for deep models
Sho Sonoda
Blueprint
Statements, proofs and their Lean status
Dependency graph
What depends on what, and what is done
Blueprint (PDF)
Printable version
Comparator certificate
Challenge statements and the latest verification result
Source code
Lean project on GitHub