Christopher Brix
4 papers
· 2018–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)