Konstantin Kaulen

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

Collaborative distances:

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

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 AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025