KU Leuven Machine Learning Research Group

All

72 repositories

congrads
Public
Incorporate constraints into neural network training for more reliable and robust models.
Python
•
BSD 3-Clause "New" or "Revised" License
•0•3•0•0•Updated Nov 17, 2025Nov 17, 2025
Proof2Seq
Public
Python
•0•0•0•0•Updated Nov 14, 2025Nov 14, 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 14, 2025Nov 14, 2025
MACHOP
Public
Repository for Preference Elicitation for Step-Wise Explanations in Logic Puzzles
Python
•
Apache License 2.0
•0•1•0•0•Updated Nov 14, 2025Nov 14, 2025
PySDD
Public
Python package for Sentential Decision Diagrams (SDD)
python cython model-counting sdd weighted-model-counting knowledge-compilation
C
•
Other
•18•67•1•1•Updated Nov 13, 2025Nov 13, 2025
TSelect
Public
Python
•
Other
•0•2•0•0•Updated Nov 10, 2025Nov 10, 2025
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•18•0•0•Updated Nov 9, 2025Nov 9, 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
•8•39•9•0•Updated Nov 7, 2025Nov 7, 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
Solver-Free-DFL
Public
Source Code of NeurIPS 2025 paper "Solver-Free Decision-Focused Learning for Linear Optimization Problems"
MIT License
•0•0•0•0•Updated Oct 22, 2025Oct 22, 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
•44•379•13•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 motif sets in a multivariate time series using time warping.
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
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
•149•711•21•16•Updated Sep 1, 2025Sep 1, 2025
Explainable-Workforce-Scheduling
Public
Jupyter Notebook
•1•2•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•0•0•0•Updated Jul 16, 2025Jul 16, 2025
tsmd-evaluation
Public
Jupyter Notebook
•
MIT License
•0•0•0•0•Updated Jul 16, 2025Jul 16, 2025
SimplifySeq
Public
Repository to be used to simplify explanation sequences.
Python
•0•0•0•0•Updated Jul 3, 2025Jul 3, 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
RoundingSat_ImprovedReduction
Public
Fork of RoundingSat PB solver, with improvement reduction techniques. Specifically the (anti-)weakening of (anti-)superfluous literals as described in "Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis"
C++
•
Other
•0•0•0•0•Updated Jun 6, 2025Jun 6, 2025
ml-project-2024-2025
Public
Python
•
Apache License 2.0
•3•0•0•0•Updated May 6, 2025May 6, 2025
PaTSEmb
Public
Transform time series to a pattern-based embedding
python machine-learning data-mining time-series frequent-pattern-mining embedding-vectors
Jupyter Notebook
•
MIT License
•1•2•2•0•Updated Apr 2, 2025Apr 2, 2025
target_transformations
Public
Python package for tranforming the target variable
Jupyter Notebook
•
Other
•0•0•0•0•Updated Feb 27, 2025Feb 27, 2025
nesy-minihack
Public
Neuro-Symbolic RL agent plays MiniHack
Jupyter Notebook
•
MIT License
•0•7•1•0•Updated Jan 30, 2025Jan 30, 2025