Matthias König
6 papers · 2022–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(18)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Artificial Intelligence
(4)
Core AI
(4)
Deep Learning
(3)
Knowledge & Reasoning
(3)
Machine Learning
(3)
Optimization & Theory · Machine Learning
(3)
Reasoning
(3)
Optimization & Theory · Deep Learning
(2)
Mathematics & Optimization
(1)
Application Areas
(1)
Architectures
(1)
Learning Types · Deep Learning
(1)
Learning Types · Machine Learning
(1)
Optimization
(1)
Techniques
(1)
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
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
Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes
IJCAI 2024
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks
AAAI 2024
Tractable Abstract Argumentation via Backdoor-Treewidth
AAAI 2022