Konstantin Kaulen

PhD student, i14, Rheinisch Westfälische Technische Hochschule Aachen

Joined

July 2024

Names

Konstantin Kaulen (Preferred)

Emails

****@aim.rwth-aachen.de (Confirmed)

Personal Links

Career & Education History

PhD student

i14, Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)

2024 – Present

MS student

Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)

2021 – 2024

Undergrad student

Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)

2018 – 2021

Advisors, Relations & Conflicts

Coauthor

Matthias König

Present

PhD Advisor

Holger Hoos

Present

Coworker

Annelot Willemijn Bosman

Present

Coauthor

Hadar Shavit

Present

Expertise

Robustness

Neural Network Verification

2024 – Present

Publications

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
Konstantin Kaulen, Matthias König, Holger H. Hoos
- AAAI 2025
- Readers: Everyone
Empirically Investigating the Trade-Offs in Deterministic Certified Training
Konstantin Kaulen, Hadar Shavit, Holger H. Hoos
- Submitted to ICLR 2026
- Readers: Everyone
CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract)
Konstantin Kaulen, Holger Hoos
- SAIV 2025 Proceedings
- Readers: Everyone

Konstantin Kaulen

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

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

Empirically Investigating the Trade-Offs in Deterministic Certified Training

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

Co-Authors