Wannes Meert
8 papers · 2015–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Cross-Pollinator (15) π Academic Marathon (10) π Conference Polyglot (4) π Renaissance Researcher (7) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(22)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π±
Topic Pioneer
Conferences
AAAI (3)
ICML (2)
IJCAI (2)
NIPS (1)
Top co-authors
Keywords
symbolic reasoning
(1)
time series anomaly detection
(1)
constraint solving
(1)
constraint optimization
(1)
interactive systems
(1)
image interpretation
(1)
automated reasoning
(1)
activity recognition
(1)
gradient boosting
(1)
machine learning
(1)
optimal policy
(1)
tractable inference
(1)
first-order logic
(1)
document analysis
(1)
tree ensemble
(1)
probabilistic model
(1)
edge computing
(1)
adversarial example
(1)
relational structure
(1)
model verification
(1)
Papers
InTimeAD: Interactive Time Series Anomaly Detection
AAAI 2026
Compressing tree ensembles through Level-wise Optimization and Pruning
ICML 2025
An Automated Engineering Assistant: Learning Parsers for Technical Drawings
AAAI 2021
Versatile Verification of Tree Ensembles
ICML 2021
Automated Reasoning and Learning for Automated Payroll Management
AAAI 2021
Towards Hardware-Aware Tractable Learning of Probabilistic Models
NIPS 2019
Learning Relational Representations with Auto-encoding Logic Programs
IJCAI 2019
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
IJCAI 2015