All pull requests

Pull requests

• Bump mathlib dependency to 10f994e

  #279·github-actions[bot] opened Oct 15, 2026Bot·

  ·

• chore: bump mathlib to ba9c63d, fix breaking changes

  dependency-incompatibility-fix
  #278·github-actions[bot] opened Oct 15, 2026Bot·

  ·
  1

• Draft Learning with Expert Advice Regret Bound

  #264·ISIPINK opened Sep 28, 2026Contributor·

  ·

• Adds Fenchel conjugates

  #255·ISIPINK opened Sep 21, 2026Contributor·

  ·
  3

• Rework the algorithm/environment classes and constructors

  #254·RemyDegenne opened Sep 17, 2026Collaborator·

  ·
  11

• Added Bregman MVT

  #253·ISIPINK opened Sep 16, 2026Contributor·

  ·
  1

• Formalize the Leshno universal approximation theorem

  #246·yuanyi-350 opened Sep 12, 2026·1 of 4 tasks·

  ·
  1

• Add MDP definition

  #231·RemyDegenne opened Sep 2, 2026Collaborator·

  ·

• demo: LMLExtra library

  #227·RemyDegenne opened Aug 27, 2026Collaborator·

  ·

• Add the LIPO and RankOpt global optimization algorithms

  #216·gaetanserre opened Aug 20, 2026Contributor·

  ·
  3

• Issue 169 : linUCB Gaussian Mixture And Self-Normalized Noise Bound

  #170·FawadHa1der opened Jun 26, 2026·

  ·

• LinUCB (Martingale And Fixed-Direction Concentration Infrastructure)

  #164·FawadHa1der opened Jun 26, 2026·

  ·

• Issue 158 (LinUCB Confidence Events)

  #161·FawadHa1der opened Jun 25, 2026·

  ·

• Issue 157 (LinUCB Matrix And Least-Squares Algebra)

  #160·FawadHa1der opened Jun 25, 2026·

  ·

• linUCB

  #113·FawadHa1der opened May 29, 2026·

  ·
  10

• Stochastic gradient descent

  #103·RemyDegenne opened May 1, 2026Collaborator·1 task done·

  ·