KU Leuven Machine Learning Research Group

All

76 repositories

congrads
Public
Incorporate constraints into neural network training for more reliable and robust models.
Python
•
BSD 3-Clause "New" or "Revised" License
•0•4•0•0•Updated Feb 12, 2026Feb 12, 2026
MACHOP
Public
Repository for Preference Elicitation for Step-Wise Explanations in Logic Puzzles
Python
•
Apache License 2.0
•0•1•0•0•Updated Jan 24, 2026Jan 24, 2026
Proof2Seq
Public
Python
•0•0•0•0•Updated Jan 22, 2026Jan 22, 2026
socceraction
Public
Convert soccer event stream data to SPADL and value player actions using VAEP or xT
soccer sports-analytics soccer-data soccer-analytics
Python
•
MIT License
•152•741•21•16•Updated Jan 7, 2026Jan 7, 2026
klay
Public
Sparse Circuits on the GPU (ICLR2025)
tractable-models probabilistic-inference arithmetic-circuits probabilistic-circuits neurosymbolic tractable-inference neurosymbolic-ai
Python
•
Apache License 2.0
•0•20•0•0•Updated Dec 25, 2025Dec 25, 2025
seizeit2_TSelect
Public
Python
•11•0•0•0•Updated Dec 23, 2025Dec 23, 2025
PySDD
Public
Python package for Sentential Decision Diagrams (SDD)
python cython model-counting sdd weighted-model-counting knowledge-compilation
C
•
Other
•21•71•1•1•Updated Dec 15, 2025Dec 15, 2025
Solver-Free-DFL
Public
Source Code of NeurIPS 2025 paper "Solver-Free Decision-Focused Learning for Linear Optimization Problems"
Python
•
MIT License
•1•2•0•0•Updated Dec 12, 2025Dec 12, 2025
dtaianomaly
Public
A simple-to-use Python tool for time series anomaly detection!
python time-series anomaly-detection time-series-anomaly-detection
Python
•
MIT License
•10•50•9•0•Updated Dec 9, 2025Dec 9, 2025
Half-reified-global-constraints
Public
Python
•0•0•0•0•Updated Nov 28, 2025Nov 28, 2025
SimplifySeq
Public
Repository to be used to simplify explanation sequences.
Python
•0•0•0•0•Updated Nov 26, 2025Nov 26, 2025
TSelect
Public
Python
•
Other
•0•3•0•0•Updated Nov 26, 2025Nov 26, 2025
cobras
Public
Interactive clustering with super-instances
interactive semi-supervised-clustering
Python
•
Other
•12•51•1•0•Updated Nov 25, 2025Nov 25, 2025
InTimeAD
Public
A web application to explore the performance of time series anomaly detection models in a interactive, hands-on manner.
Python
•
MIT License
•0•0•0•0•Updated Nov 18, 2025Nov 18, 2025
equality_reasoning
Public
Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025)
datalog probabilistic-programming neurosymbolic
Python
•0•1•0•0•Updated Nov 14, 2025Nov 14, 2025
PL4Fairness
Public
Code to replicate the paper "ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias", accepted at AAAI2026..
0•0•0•0•Updated Nov 14, 2025Nov 14, 2025
tacle
Public
Constraint learning for spreadsheets
Python
•
Apache License 2.0
•1•4•0•0•Updated Oct 24, 2025Oct 24, 2025
nesy-mm
Public
Relational neurosymbolic Markov models (NeSy-MMs)
Jupyter Notebook
•
MIT License
•0•7•0•0•Updated Oct 23, 2025Oct 23, 2025
problog
Public
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
prolog probabilistic-programming probabilistic problog probabilistic-inference probabilistic-logic-programming aproblog dtproblog lfi-problog
Python
•46•393•15•0•Updated Sep 23, 2025Sep 23, 2025
EventWarping
Public
Python
•
MIT License
•0•0•0•0•Updated Sep 16, 2025Sep 16, 2025
locomotif_dok
Public
LoCoMotif-DoK is a time series motif discovery method that leverages domain knowledge represented by hard and soft constraints. It discovers variable-length mot…
time-series constrained-optimization unsupervised-learning motif-discovery multivariate-timeseries variable-length pattern-mining domain-knowledge time-warping
Jupyter Notebook
•
Other
•0•3•0•0•Updated Sep 8, 2025Sep 8, 2025
deepstochlog-lm
Public
Repository for NeSy2024 paper Valid Text-to-SQL Generation with Unification-based DeepStochLog
Python
•
Apache License 2.0
•0•5•1•0•Updated Sep 2, 2025Sep 2, 2025
Explainable-Workforce-Scheduling
Public
Jupyter Notebook
•1•3•0•1•Updated Aug 27, 2025Aug 27, 2025
locomotif
Public
LoCoMotif is a time series motif discovery method that discovers variable-length motif sets in multivariate time series using time warping
time-series multivariate unsupervised-learning motif-discovery variable-length pattern-mining time-warping
Jupyter Notebook
•
MIT License
•4•36•0•1•Updated Aug 22, 2025Aug 22, 2025
SADAL
Public
SADAL : Semi-supervised Anomaly Detector combining Active learning and Learning to reject
Jupyter Notebook
•
Other
•0•0•0•0•Updated Jul 17, 2025Jul 17, 2025
lop_compress
Public
Compression of decision ensembles
Jupyter Notebook
•
Other
•0•1•1•0•Updated Jul 16, 2025Jul 16, 2025
tsmd-evaluation
Public
Jupyter Notebook
•
MIT License
•0•0•0•0•Updated Jul 16, 2025Jul 16, 2025
ocus-explain
Public
Efficient Explaining CSPs with Unsatisfiable Subset Optimization
constraint-satisfaction-problem satisfiability explanations unsat explainability
Jupyter Notebook
•1•3•1•0•Updated Jul 2, 2025Jul 2, 2025
SymmetryMUS
Public
Repository containing code for "Exploiting Symmetries in MUS Computation"
Python
•0•0•0•0•Updated Jul 2, 2025Jul 2, 2025
SAT25_PB_reductions_experiments
Public
Repo
Python
•0•0•0•0•Updated Jun 6, 2025Jun 6, 2025