Christopher Brix

Christopher Brix

Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5683174
RWTH Aachen University
person_outline Christopher Brix's MOST POPULAR ARTICLES
1-) First three years of the international verification of neural networks competition (VNN-COMP)C Brix, MN Müller, S Bak, TT Johnson, C LiuInternational Journal on Software Tools for Technology Transfer 25 (3), 329-339, 2023582023
2-) The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and ResultsMN Müller, C Brix, S Bak, C Liu, TT JohnsonarXiv preprint arXiv:2212.10376, 2022532022
3-) Empirical investigation of optimization algorithms in neural machine translationP Bahar, T Alkhouli, JT Peter, CJS Brix, H NeyThe Prague Bulletin of Mathematical Linguistics 108 (1), 13-25, 2017392017
4-) The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and ResultsC Brix, S Bak, C Liu, TT JohnsonarXiv preprint arXiv:2312.16760, 2023
5-) Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer ArchitectureC Brix, P Bahar, H NeyarXiv preprint arXiv:2005.03454, 2020