Brix, Christopher

3 publications

ICLRW 2025 Using GPUs and LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll
NeurIPS 2024 Scalable Neural Network Verification with Branch-and-Bound Inferred Cutting Planes Duo Zhou, Christopher Brix, Grani A Hanasusanto, Huan Zhang
NeurIPS 2023 Provably Bounding Neural Network Preimages Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang