Konstantin Kaulen

According to our database, Konstantin Kaulen authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu

CoRR, December, 2025

CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract).

Konstantin Kaulen, Holger H. Hoos

Proceedings of the AI Verification - Second International Symposium, 2025

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification.

Konstantin Kaulen, Matthias König, Holger H. Hoos

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025