Popular repositories Loading

1. ProkhorovTheorem ProkhorovTheorem Public

   Prokhorov's Theorem formalisation

   Lean 6 3

2. MATH50003NumericalAnalysis MATH50003NumericalAnalysis Public

   Forked from Imperial-MATH50003/MATH50003NumericalAnalysis2022-23

   Numerical Analysis

   Jupyter Notebook 1

3. Group_Disease_2.0 Group_Disease_2.0 Public

   Jupyter Notebook 1

4. RL-for-HVAC-Sainsburys RL-for-HVAC-Sainsburys Public

   Tabular Q-Learning approach to set points for Sainsbury's HVAC system

   Jupyter Notebook 1

5. Regret-minimisation-learning Regret-minimisation-learning Public

   Implementations of Regret Minimisation Learning project algorithms

   Python 1

6. Multi-armed-bandit Multi-armed-bandit Public

   K-armed-testbed

   Jupyter Notebook 1