Christopher Brix

Cited by

	All	Since 2019
Citations	207	188
h-index	7	7
i10-index	6	6

201720182019202020212022202320245 13 17 15 22 14 85 34

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Parnia BaharAppTekVerified email at cs.rwth-aachen.de
Hermann NeyRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
Changliu LiuAssistant Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Mark Niklas MüllerPhD Student, ETH ZurichVerified email at inf.ethz.ch
Tamer AlkhouliApplied Scientist, Amazon AIVerified email at amazon.com
Jan-Thorsten PeterGoogleVerified email at google.com
Huan ZhangAssistant Professor at University of Illinois Urbana-ChampaignVerified email at illinois.edu
Suhas KothaCarnegie Mellon UniversityVerified email at cs.cmu.edu
Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
Bastian LeibeProfessor for Computer Vision, RWTH Aachen UniversityVerified email at vision.rwth-aachen.de

Christopher Brix

PhD Candidate in Computer Science, RWTH Aachen University

Verified email at cs.rwth-aachen.de - Homepage

Verification of Neural Networks Machine Learning Artificial Intellligence Neural Networks Machine Translation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
First three years of the international verification of neural networks competition (VNN-COMP) C Brix, MN Müller, S Bak, TT Johnson, C Liu International Journal on Software Tools for Technology Transfer, 1-11, 2023	43	2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results MN Müller, C Brix, S Bak, C Liu, TT Johnson arXiv preprint arXiv:2212.10376, 2022	43	2022
Empirical investigation of optimization algorithms in neural machine translation P Bahar, T Alkhouli, JT Peter, CJS Brix, H Ney The Prague Bulletin of Mathematical Linguistics 108 (1), 13-25, 2017	39	2017
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture C Brix, P Bahar, H Ney arXiv preprint arXiv:2005.03454, 2020	30	2020
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation P Bahar, C Brix, H Ney arXiv preprint arXiv:1810.03975, 2018	30	2018
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs C Brix, T Noll arXiv preprint arXiv:2006.09040, 2020	11	2020
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results C Brix, S Bak, C Liu, TT Johnson arXiv preprint arXiv:2312.16760, 2023	7	2023
Provably Bounding Neural Network Preimages S Kotha, C Brix, Z Kolter, K Dvijotham, H Zhang arXiv preprint arXiv:2302.01404, 2023	2	2023
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling Using a Two-Dimensional Grid P Bahar, C Brix, H Ney 2021 IEEE Spoken Language Technology Workshop (SLT), 1065-1070, 2021	2	2021
Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds CJS Brix RWTH Aachen University, 2020		2020
Binary-Search Tree Exploration in Verification of Neural Networks C Brix, L Pühl LiVe 2022 6th Workshop on Learning in Verification, 0

The system can't perform the operation now. Try again later.

Articles 1–11

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors