Paul's Projects
Course material for 1RT700 Statistical Machine Learning
d4 Model Counter
A C++/Python library for incomplete LU factorizations based on Jan Mayer's ILU++
A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
A minimalistic and high-performance SAT solver
Operator Discretization Library https://odlgroup.github.io/odl/
A beautiful, simple, clean, and responsive Jekyll theme for academics
A comparative evaluation of pruning techniques for Artificial Neural Networks
A clean and readable Pytorch implementation of CycleGAN
PyTorch Extension Library of Optimized Autograd Sparse Matrix Operations
Topological Deep Learning
Atrial fibrillation classification from the ECG . Assignment for the WASP Course "Artificial Intelligence and Machine Learning"