Issues

• Bumping mathlib to b2bf051 would break the build

  dependency-incompatibility
  LeanMachineLearning/LML#268 · Filter by author github-actions opened on Oct 4, 2026

• Proposal: Formalize the Leshno–Lin–Pinkus–Schocken universal approximation theorem

  LeanMachineLearning/LML#244 · Filter by author yuanyi-350 opened on Sep 11, 2026

• LinUCB: Gaussian Mixture And Self-Normalized Noise Bound

  LeanMachineLearning/LML#169 · Filter by author FawadHa1der opened on Jun 26, 2026

• LinUCB: Martingale And Fixed-Direction Concentration Infrastructure

  LeanMachineLearning/LML#163 · Filter by author FawadHa1der opened on Jun 26, 2026

• LinUCB Confidence Events

  LeanMachineLearning/LML#158 · Filter by author FawadHa1der opened on Jun 25, 2026

• LinUCB Matrix And Least-Squares Algebra

  LeanMachineLearning/LML#157 · Filter by author FawadHa1der opened on Jun 25, 2026

• Formalize finite-action LinUCB regret bound

  LeanMachineLearning/LML#112 · Filter by author FawadHa1der opened on May 29, 2026