Philipp Kern

Orcid: 0000-0002-7618-7401

According to our database1, Philipp Kern authored at least 5 papers between 2020 and 2024.

Collaborative distances:

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Revisiting Differential Verification: Equivalence Verification with Confidence.
CoRR, 2024

Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations.
Proceedings of the Static Analysis - 31st International Symposium, 2024

2022
Optimized Symbolic Interval Propagation for Neural Network Verification.
CoRR, 2022

2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.
Proceedings of the Principles and Practice of Constraint Programming, 2020


  Loading...