Jan N. van Rijn
4 papers · 2021–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot (3) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (17) 🧭 Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
JMLR (2)
AAAI (1)
NIPS (1)
Top co-authors
Keywords
neural network verification
(2)
adversarial robustness
(2)
formal verification
(2)
model selection
(1)
transfer learning
(1)
mixed integer programming
(1)
machine learning
(1)
adversarial attack
(1)
decision boundary
(1)
robust accuracy
(1)
relu network
(1)
robustness verification
(1)
python library
(1)
input perturbation
(1)
open science
(1)
neural network
(1)
machine learning api
(1)
workflow automation
(1)
dataset sharing
(1)
experiment reproducibility
(1)
Papers
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
AAAI 2024
Critically Assessing the State of the Art in Neural Network Verification
JMLR 2024
Meta-Album: Multi-domain Meta-Dataset for Few-Shot Image Classification
NIPS 2022
OpenML-Python: an extensible Python API for OpenML
JMLR 2021