Neural Network Compression by Approximate Differential Equivalence | ArxivCSExplorer