Christopher Brix

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 14

Top Topics

International Competition

Finite State Transducers

Face Verification

Machine Translation

Top Venues

Prague Bull. Math. Linguistics

Int. J. Softw. Tools Technol. Transf.

Publications

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP). CoRR (2023)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
First three years of the international verification of neural networks competition (VNN-COMP). Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
Provably Bounding Neural Network Preimages. CoRR (2023)
Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results. CoRR (2023)
Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
Provably Bounding Neural Network Preimages. NeurIPS (2023)
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results. CoRR (2022)
Parnia Bahar, Christopher Brix, Hermann Ney
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling Using a Two-Dimensional Grid. SLT (2021)
Christopher Brix, Parnia Bahar, Hermann Ney
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture. ACL (2020)
Christopher Brix, Parnia Bahar, Hermann Ney
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture. CoRR (2020)
Parnia Bahar, Christopher Brix, Hermann Ney
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling using a Two-Dimensional Grid. CoRR (2020)
Christopher Brix, Thomas Noll
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs. CoRR (2020)
Parnia Bahar, Christopher Brix, Hermann Ney
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation. CoRR (2018)
Parnia Bahar, Christopher Brix, Hermann Ney
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation. EMNLP (2018)
Parnia Bahar, Tamer Alkhouli, Jan-Thorsten Peter, Christopher Brix, Hermann Ney
Empirical Investigation of Optimization Algorithms in Neural Machine Translation. Prague Bull. Math. Linguistics 108 (2017)