Прати
Christopher Brix
Christopher Brix
PhD Candidate in Computer Science, RWTH Aachen University
Верификована је имејл адреса на cs.rwth-aachen.de - Почетна страница
Наслов
Навело
Навело
Година
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 25 (3), 329-339, 2023
942023
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
732022
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
432017
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
382023
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
C Brix, P Bahar, H Ney
arXiv preprint arXiv:2005.03454, 2020
352020
Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation
P Bahar, C Brix, H Ney
arXiv preprint arXiv:1810.03975, 2018
332018
Provably Bounding Neural Network Preimages
S Kotha, C Brix, Z Kolter, K Dvijotham, H Zhang
The Thirty-seventh Annual Conference on Neural Information Processing Systems, 2023
172023
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
C Brix, T Noll
arXiv preprint arXiv:2006.09040, 2020
132020
The third international verification of neural networks competition (VNN-COMP 2022): summary and results (2022)
MN Müller, C Brix, S Bak, C Liu, TT Johnson
DOI: https://doi. org/10.48550/arXiv 2212, 0
6*
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results. CoRR abs/2212.10376 (2022)
MN Müller, C Brix, S Bak, C Liu, TT Johnson
arXiv preprint arXiv:2212.10376, 2022
42022
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
22021
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
C Brix, S Bak, TT Johnson, H Wu
arXiv preprint arXiv:2412.19985, 2024
12024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
D Zhou, C Brix, GA Hanasusanto, H Zhang
The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024
12024
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
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–15