Martin Lange

1 paper in the IJCAI proceedings

IJCAI 2026

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings

with Eric Alsmann, Marco Sälzer

doi:10.24963/ijcai.2026/460

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings