# Proof transfer for fast certification of multiple approximate neural networks

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 12× · AI/ML

**Wikidata**: [openalex:W4225128042](https://www.wikidata.org/wiki/openalex:W4225128042)  
**Source**: https://4ort.xyz/entity/proof-transfer-for-fast-certification-of-multiple-approximate-neural-networks