Hydra: Pipelineable Interactive Arguments of Knowledge for Verifiable Neural Networks | IEEE Conference Publication | IEEE Xplore