Wannes Meert
8 papers
· 2015–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π
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
Versatile Verification of Tree Ensembles
ICML 2021