Christopher Brix
4 papers · 2018–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (3) π Academic Marathon (6) π Cross-Pollinator (10) πΊοΈ Taxonomy Completionist (10)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
Conferences
NIPS (2)
ACL (1)
EMNLP (1)
Top co-authors
Keywords
branch and bound
(2)
adversarial robustness
(2)
formal verification
(2)
neural network verification
(2)
neural network optimization
(1)
constraint satisfaction
(1)
model pruning
(1)
mixed integer programming
(1)
cutting plane method
(1)
sparse model
(1)
cutting plane
(1)
sequence to sequence
(1)
magnitude pruning
(1)
flops reduction
(1)
network sparsification
(1)
constraint strengthening
(1)
multidimensional long short-term memory
(1)
transformer architecture
(1)
two-dimensional mapping
(1)
lottery ticket hypothesis
(1)
Papers
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
NIPS 2024
Provably Bounding Neural Network Preimages
NIPS 2023
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
ACL 2020
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation
EMNLP 2018