Verified Neural Compressed Sensing

arXiv:2405.04260v1 Announce Type: new
Abstract: We develop the first (to the best of our knowledge) provably correct neural networks for a precise computational task, with the proof of correctness generated by an automated verification algorithm without any human input. Prior work on neural network verification has focused on partial specifications that, even when satisfied, are not sufficient to ensure that a neural network never makes errors. We focus on applying neural network verification to computational tasks with a precise notion …

abstract algorithm arxiv automated best of computational cs.ai cs.lg generated human knowledge network networks neural network neural networks prior sensing type verification work