Scholar
Christopher Brix
Google Scholar ID: u8QQWX0AAAAJ
PhD Candidate in Computer Science, RWTH Aachen University
Verification of Neural Networks
Machine Learning
Artificial Intellligence
Neural Networks
Machine Translation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
451
H-index
10
i10-index
10
Publications
16
Co-authors
20
list available
Publications
5 items
Validating, Not Sampling: Region-Level Robustness of Vision-Language and Vision-Language-Action Models
2026
Cited
0
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026
Cited
0
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
2025
Cited
0
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024
Cited
0
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
2024
Cited
0
Co-authors
15 total
Changliu Liu
Associate Professor, Carnegie Mellon University
Taylor T Johnson
Associate Professor, Computer Science, Vanderbilt University
Mark Niklas Müller
PhD Student, ETH Zurich
Hermann Ney
RWTH Aachen University
Huan Zhang
Assistant Professor at University of Illinois Urbana-Champaign
Tamer Alkhouli
Applied Scientist, Amazon AI
Jan-Thorsten Peter
Google
Zico Kolter
Carnegie Mellon University
