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