Hojny, Christopher

2 publications

ICLR 2025 On the Expressiveness of Rational ReLU Neural Networks with Bounded Depth Gennadiy Averkov, Christopher Hojny, Maximilian Merkert

ICML 2024 Verifying Message-Passing Neural Networks via Topology-Based Bounds Tightening Christopher Hojny, Shiqiang Zhang, Juan S Campos, Ruth Misener