The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq.

Andrei Aleksandrov, Malte Jackisch, Kim Vllinger

Browse the full CAV paper archive.