Christopher Brix

20 papers A* 5Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems.
CoRR
Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll
2025 A* conf
CertPHash: Towards Certified Perceptual Hashing via Robust Training.
USENIX Security Symposium
Yuchen Yang, Qichang Liu, Christopher Brix, Huan Zhang, Yinzhi Cao
2025 J jnl
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes.
CoRR
Duo Zhou, Christopher Brix, Grani A. Hanasusanto, Huan Zhang
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2024 A* conf
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes.
NeurIPS
Duo Zhou, Christopher Brix, Grani A. Hanasusanto, Huan Zhang
2024 J jnl
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.
CoRR
Christopher Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu
2023 J jnl
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP).
CoRR
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
2023 J jnl
First three years of the international verification of neural networks competition (VNN-COMP).
Int. J. Softw. Tools Technol. Transf.
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
2023 A* conf
Provably Bounding Neural Network Preimages.
NeurIPS
Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
2023 J jnl
Provably Bounding Neural Network Preimages.
CoRR
Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
2023 J jnl
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.
CoRR
Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
2022 J jnl
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.
CoRR
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
2021 — conf
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling Using a Two-Dimensional Grid.
SLT
Parnia Bahar, Christopher Brix, Hermann Ney
2020 J jnl
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs.
CoRR
Christopher Brix, Thomas Noll
2020 A* conf
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture.
ACL
Christopher Brix, Parnia Bahar, Hermann Ney
2020 J jnl
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture.
CoRR
Christopher Brix, Parnia Bahar, Hermann Ney
2020 J jnl
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling using a Two-Dimensional Grid.
CoRR
Parnia Bahar, Christopher Brix, Hermann Ney
2018 A* conf
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation.
EMNLP
Parnia Bahar, Christopher Brix, Hermann Ney
2018 J jnl
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation.
CoRR
Parnia Bahar, Christopher Brix, Hermann Ney
2017 J jnl
Empirical Investigation of Optimization Algorithms in Neural Machine Translation.
Prague Bull. Math. Linguistics
Parnia Bahar, Tamer Alkhouli, Jan-Thorsten Peter, Christopher Brix, Hermann Ney