Christopher Brix

According to our database, Christopher Brix authored at least 11 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Christopher Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu

CoRR, 2024

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes.

Duo Zhou, Christopher Brix, Grani A. Hanasusanto, Huan Zhang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

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., June, 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

Provably Bounding Neural Network Preimages.

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

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

2021

Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling Using a Two-Dimensional Grid.

Parnia Bahar, Christopher Brix, Hermann Ney

Proceedings of the IEEE Spoken Language Technology Workshop, 2021

2020

Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs.

Christopher Brix, Thomas Noll

CoRR, 2020

Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture.

Christopher Brix, Parnia Bahar, Hermann Ney

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2018

Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation.

Parnia Bahar, Christopher Brix, Hermann Ney

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

2017

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