KU Leuven Machine Learning Research Group

All

68 repositories

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
•7•29•9•0•Updated Oct 6, 2025Oct 6, 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
•1•16•0•0•Updated Sep 30, 2025Sep 30, 2025
TSelect
Public
Python
•
Other
•0•2•0•0•Updated Sep 25, 2025Sep 25, 2025
problog
Public
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
prolog probabilistic-programming probabilistic-inference probabilistic-logic-programming aproblog dtproblog lfi-problog probabilistic problog
Python
•44•376•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•4•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
•150•707•21•16•Updated Sep 1, 2025Sep 1, 2025
Explainable-Workforce-Scheduling
Public
Jupyter Notebook
•1•1•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
•3•31•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
nesy-mm
Public
Relational neurosymbolic Markov models (NeSy-MMs)
Jupyter Notebook
•
MIT License
•0•7•0•0•Updated Feb 27, 2025Feb 27, 2025
target_transformations
Public
Python package for tranforming the target variable
Jupyter Notebook
•
Other
•0•0•0•0•Updated Feb 27, 2025Feb 27, 2025
PySDD
Public
Python package for Sentential Decision Diagrams (SDD)
python cython model-counting sdd weighted-model-counting knowledge-compilation
C
•
Other
•18•66•1•1•Updated Feb 21, 2025Feb 21, 2025
congrads
Public
Incorporate constraints into neural network training for more reliable and robust models.
Python
•
BSD 3-Clause "New" or "Revised" License
•0•2•0•0•Updated Feb 12, 2025Feb 12, 2025
nesy-minihack
Public
Neuro-Symbolic RL agent plays MiniHack
Jupyter Notebook
•
MIT License
•0•6•1•0•Updated Jan 30, 2025Jan 30, 2025
COUNT-CP
Public
COUNT-CP is a constraint learner that uses a generate-and-aggregate approach to learn CP models
Python
•
Apache License 2.0
•0•3•1•0•Updated Jan 23, 2025Jan 23, 2025
amc-grad
Public
The Gradient of Algebraic Model Counting (AAAI2025)
Rust
•
MIT License
•0•3•0•0•Updated Dec 16, 2024Dec 16, 2024
catlog
Public
Gradient estimation of discrete probabilistic models with the CatLog-Derivative trick
Jupyter Notebook
•
Apache License 2.0
•2•4•0•0•Updated Sep 18, 2024Sep 18, 2024
DFLPredict-Action-Costs-for-Planning
Public
Source Code of ECAI 2024 paper "Decision-Focused Learning to Predict Action Costs for Planning"
SAS
•
MIT License
•0•2•0•0•Updated Aug 22, 2024Aug 22, 2024
CoWC
Public
CoWC is a compression algorithm for Probabilistic logic theories based on frequent itemset mining
Python
•0•0•0•0•Updated Aug 16, 2024Aug 16, 2024