| 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 | 69 | 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 | 57 | 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 | 40 | 2017 |
| Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture C Brix, P Bahar, H Ney arXiv preprint arXiv:2005.03454, 2020 | 31 | 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 |
| 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 | 18 | 2023 |
| Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs C Brix, T Noll arXiv preprint arXiv:2006.09040, 2020 | 13 | 2020 |
| Provably Bounding Neural Network Preimages S Kotha, C Brix, Z Kolter, K Dvijotham, H Zhang arXiv preprint arXiv:2302.01404, 2023 | 6 | 2023 |
| 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 | 6 | 2022 |
| 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 | | |
Changliu LiuAssistant Professor, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
