Pinned Loading

1. Lean-and-the-Hilbert-Projection-Theorem Lean-and-the-Hilbert-Projection-Theorem Public

   Using the Lean programming language as a proof assistant to rigorously prove the Hilbert Projection Theorem

   Lean

2. PINNs-for-congestion-PDEs PINNs-for-congestion-PDEs Public

   We design a neural network to solve a non-linear system of PDEs which predicts how agents flow through a medium where congestion effects are present.

   Python

3. ML-Algorithms ML-Algorithms Public

   My implementations of classical machine learning algorithms without using any specialised libraries.

   Jupyter Notebook

4. m6li.github.io m6li.github.io Public

   CSS