Matthias König
6 papers · 2022–2025 · 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 (18) 🧭 Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (4)
IJCAI (1)
JMLR (1)
Top co-authors
Keywords
neural network verification
(3)
abstract argumentation
(3)
robustness verification
(2)
adversarial robustness
(2)
formal verification
(2)
decision boundary
(1)
robust accuracy
(1)
relu network
(1)
formal argumentation
(1)
fixed-parameter tractability
(1)
argumentation framework
(1)
assumption-based argumentation
(1)
defeasible reasoning
(1)
algorithmic complexity
(1)
input perturbation
(1)
reasoning task
(1)
neural network
(1)
set-to-set attack
(1)
preference semantics
(1)
running time prediction
(1)
Papers
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
AAAI 2025
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks
AAAI 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
AAAI 2024
Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes
IJCAI 2024
Critically Assessing the State of the Art in Neural Network Verification
JMLR 2024
Tractable Abstract Argumentation via Backdoor-Treewidth
AAAI 2022