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