Proof-Carrying Verification for ReLU Networks via Rational Certificates

Chandrasekhar Gokavarapu

Rectified Linear Unit (ReLU) networks are piecewise-linear (PWL), so universal linear safety properties can be reduced to reasoning about linear constraints. Modern verifiers rely…