Christopher Brix

4 papers · 2018–2024 · 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 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird

Venues

NeurIPS (2) ACL (1) EMNLP (1)

Top co-authors

Parnia Bahar (2) Huan Zhang (2) Hermann Ney (2) Grani A Hanasusanto (1) Duo Zhou (1) Suhas Kotha (1) Krishnamurthy Dvijotham (1) J. Zico Kolter (1)

Research topics

Artificial Intelligence (3) Machine Learning (3) Core AI (3) Optimization & Theory · Machine Learning (3) Deep Learning (2) Optimization & Theory · Deep Learning (2) Natural Language Processing (1) Applications (1) Architectures (1)

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 NeurIPS 2024 Provably Bounding Neural Network Preimages NeurIPS 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