[
  {
    "section": "s1",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "1. The ensemble is only as diverse as its errors"
  },
  {
    "section": "s2",
    "kind": "source_based_review",
    "sources": [
      "dl2-a10-1"
    ],
    "claim": "2. Practical deep ensembles establish an empirical baseline"
  },
  {
    "section": "s3",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "3. Define the random error before taking its covariance"
  },
  {
    "section": "s4",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "4. A variance floor defines effective ensemble size"
  },
  {
    "section": "s5",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "5. A finite latent construction verifies the formula"
  },
  {
    "section": "s6",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "6. Shared bias is invisible to disagreement"
  },
  {
    "section": "s7",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "7. Predictive mixture variance has two terms"
  },
  {
    "section": "s8",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "8. Classification disagreement is information within a model"
  },
  {
    "section": "s9",
    "kind": "source_based_review",
    "sources": [
      "dl2-a10-3"
    ],
    "claim": "9. Function diversity matters more than parameter distance"
  },
  {
    "section": "s10",
    "kind": "source_based_review",
    "sources": [
      "dl2-a10-4"
    ],
    "claim": "10. A Bayesian interpretation needs a declared approximation"
  },
  {
    "section": "s11",
    "kind": "source_based_review",
    "sources": [
      "dl2-a10-5",
      "dl2-a10-6"
    ],
    "claim": "11. Efficient diversity and hyperparameter search have costs"
  },
  {
    "section": "s12",
    "kind": "source_based_review",
    "sources": [
      "dl2-a10-2"
    ],
    "claim": "12. Dataset shift tests coverage of alternatives"
  },
  {
    "section": "s13",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "13. Reproducible arithmetic and a full empirical protocol"
  },
  {
    "section": "s14",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "14. Agreement is evidence about the ensemble's scope"
  }
]