Marco Sälzer

3 papers in the IJCAI proceedings

IJCAI 2026

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings

with Eric Alsmann, Martin Lange

doi:10.24963/ijcai.2026/460

Details PDF

IJCAI 2025

Verifying Quantized Graph Neural Networks is PSPACE-complete

with Francois Schwarzentruber, Nicolas Troquard

doi:10.24963/ijcai.2025/519

Details PDF

IJCAI 2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks

with Pierre Nunn, François Schwarzentruber, Nicolas Troquard

doi:10.24963/ijcai.2024/391

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings