Formal Verification on Arthur P. Feeneyhttps://arthurfeeney.github.io/tags/formal-verification/Recent content in Formal Verification on Arthur P. FeeneyHugo -- 0.156.0enWed, 06 Nov 2024 00:00:00 +0000BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operationshttps://arthurfeeney.github.io/papers/bern-nn/Wed, 06 Nov 2024 00:00:00 +0000https://arthurfeeney.github.io/papers/bern-nn/This paper explores methods to perform efficient bounds-propagation on neural networks. Published in IEEE Transactions on Computer-Aided Design.