Jan N. van Rijn
4 papers
· 2021–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
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)