Pinned Loading

1. AI-Math-Exam-Classifier AI-Math-Exam-Classifier Public

   A BERT-based exam question classifier that takes as input PDFs of exam papers and classifies each question by topic.

   Python

2. 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

3. 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

4. Randomised-NNs-for-nonlinear-PDEs Randomised-NNs-for-nonlinear-PDEs Public

   Based on arXiv:[TBC]. We design a type of randomised neural network and test its efficacy on benchmark non-linear PDEs and compare with standard Physics-Informed NNs.

5. ML-Algorithms ML-Algorithms Public

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

   Jupyter Notebook

6. m6li.github.io m6li.github.io Public

   CSS