Christopher Brix
Scholar

Christopher Brix

Google Scholar ID: u8QQWX0AAAAJ
PhD Candidate in Computer Science, RWTH Aachen University
Verification of Neural NetworksMachine LearningArtificial IntellligenceNeural NetworksMachine Translation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
451
 
H-index
10
 
i10-index
10
 
Publications
16
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
4 items
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
Resume (English only)
Co-authors
20 total
Changliu Liu
Changliu Liu
Associate Professor, Carnegie Mellon University
Co-author 2
Co-author 2
Taylor T Johnson
Taylor T Johnson
Associate Professor, Computer Science, Vanderbilt University
Mark Niklas Müller
Mark Niklas Müller
PhD Student, ETH Zurich
Co-author 5
Co-author 5
Hermann Ney
Hermann Ney
RWTH Aachen University
Huan Zhang
Huan Zhang
Assistant Professor at University of Illinois Urbana-Champaign
Tamer Alkhouli
Tamer Alkhouli
Applied Scientist, Amazon AI