Christopher Brix
RWTH Aachen University(DE)
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Advanced Neural Network Applications, Topic Modeling, Natural Language Processing Techniques, Neural Networks and Applications
Most-Cited Works
- → First three years of the international verification of neural networks competition (VNN-COMP)(2023)55 cited
- → The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results(2022)28 cited
- → Empirical Investigation of Optimization Algorithms in Neural Machine Translation(2017)25 cited
- → Towards Two-Dimensional Sequence to Sequence Model in Neural Machine Translation(2018)9 cited
- → The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results(2023)9 cited
- → The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results(2024)7 cited
- → Provably Bounding Neural Network Preimages(2023)7 cited
- → Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs(2020)3 cited
- → Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes(2024)2 cited