Empirical Investigation of Optimization Algorithms in Neural Machine Translation. - Parnia Bahar; Tamer Alkhouli; Jan-Thorsten Peter; Christopher Brix; Hermann Ney (Prague Bull. Math. Linguistics, 2017)

Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation. - Parnia Bahar; Christopher Brix; Hermann Ney (EMNLP, 2018)

Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture. - Christopher Brix; Parnia Bahar; Hermann Ney (ACL, 2020)

Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs. - Christopher Brix; Thomas Noll 001 (CoRR, 2020)

Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling Using a Two-Dimensional Grid. - Parnia Bahar; Christopher Brix; Hermann Ney (SLT, 2021)

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results. - Mark Niklas Müller; Christopher Brix; Stanley Bak; Changliu Liu; Taylor T. Johnson (CoRR, 2022)

Provably Bounding Neural Network Preimages. - Suhas Kotha; Christopher Brix; J. Zico Kolter; Krishnamurthy Dvijotham; Huan Zhang 001 (NeurIPS, 2023)

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results. - Christopher Brix; Stanley Bak; Changliu Liu; Taylor T. Johnson (CoRR, 2023)

First three years of the international verification of neural networks competition (VNN-COMP). - Christopher Brix; Mark Niklas Müller; Stanley Bak; Taylor T. Johnson; Changliu Liu (Int. J. Softw. Tools Technol. Transf., 2023)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes. - Duo Zhou; Christopher Brix; Grani A. Hanasusanto; Huan Zhang 001 (NeurIPS, 2024)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results. - Christopher Brix; Stanley Bak; Taylor T. Johnson; Haoze Wu 001 (CoRR, 2024)