{"schemaVersion":1,"target":{"type":"reading","id":"c249e295a787bd70e36e2ae08f9786ca6e963f87c08e6a5790910188a5f20379","revision":"1087224c-a50d-4025-891e-e17f7525d856","revisionKind":"publication-id","title":"arXiv cs.AI: Pareto DNN Verification: Fast for Most Queries","url":"https://escapemeridian.com/readings/arxiv-cs-ai-pareto-dnn-verification-fast-for-most-queries-c249e295"},"source":{"type":"source","id":"https://arxiv.org/abs/2512.20755","revision":"845f3aef91369b56ab6d1ae94a783cc81a38fde2a744bf36c1263e9eb3d259d3","revisionKind":"sha256-source-text","title":"Pareto DNN Verification: Fast for Most Queries","url":"https://arxiv.org/abs/2512.20755"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}