{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:RFJYTPJ26RKSM4XSWHFHSGM2OA","short_pith_number":"pith:RFJYTPJ2","schema_version":"1.0","canonical_sha256":"895389bd3af4552672f2b1ca79199a7002a539cea4b481353ba28111bd1adbed","source":{"kind":"arxiv","id":"2110.08260","version":2},"attestation_state":"computed","paper":{"title":"Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Marc Fischer, Mark Niklas M\\\"uller, Martin Vechev, Robin Staab","submitted_at":"2021-10-14T19:08:27Z","abstract_excerpt":"We present a new abstract interpretation framework for the precise over-approximation of numerical fixpoint iterators. Our key observation is that unlike in standard abstract interpretation (AI), typically used to over-approximate all reachable program states, in this setting, one only needs to abstract the concrete fixpoints, i.e., the final program states. Our framework targets numerical fixpoint iterators with convergence and uniqueness guarantees in the concrete and is based on two major technical contributions: (i) theoretical insights which allow us to compute sound and precise fixpoint "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2110.08260","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-14T19:08:27Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5d0cf3d4cfa8a4b3973cfa64e319dd9905af333cfe6f628c29d66ecffc4cd4e3","abstract_canon_sha256":"f0d2450fa202d071cb7bb094ca377b379198e2809f81913d91a89f7125d01ef3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:04:32.456218Z","signature_b64":"XPiqBjNxBZrHEDS/1cL0fO3uUoTMO75jkMtc6+RBvEnsqvTCnYFYkxo00CFdF2hvkWFvMMfICfDhrdmLc9a+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"895389bd3af4552672f2b1ca79199a7002a539cea4b481353ba28111bd1adbed","last_reissued_at":"2026-07-05T06:04:32.455858Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:04:32.455858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Marc Fischer, Mark Niklas M\\\"uller, Martin Vechev, Robin Staab","submitted_at":"2021-10-14T19:08:27Z","abstract_excerpt":"We present a new abstract interpretation framework for the precise over-approximation of numerical fixpoint iterators. Our key observation is that unlike in standard abstract interpretation (AI), typically used to over-approximate all reachable program states, in this setting, one only needs to abstract the concrete fixpoints, i.e., the final program states. Our framework targets numerical fixpoint iterators with convergence and uniqueness guarantees in the concrete and is based on two major technical contributions: (i) theoretical insights which allow us to compute sound and precise fixpoint "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.08260","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2110.08260/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2110.08260","created_at":"2026-07-05T06:04:32.455913+00:00"},{"alias_kind":"arxiv_version","alias_value":"2110.08260v2","created_at":"2026-07-05T06:04:32.455913+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.08260","created_at":"2026-07-05T06:04:32.455913+00:00"},{"alias_kind":"pith_short_12","alias_value":"RFJYTPJ26RKS","created_at":"2026-07-05T06:04:32.455913+00:00"},{"alias_kind":"pith_short_16","alias_value":"RFJYTPJ26RKSM4XS","created_at":"2026-07-05T06:04:32.455913+00:00"},{"alias_kind":"pith_short_8","alias_value":"RFJYTPJ2","created_at":"2026-07-05T06:04:32.455913+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA","json":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA.json","graph_json":"https://pith.science/api/pith-number/RFJYTPJ26RKSM4XSWHFHSGM2OA/graph.json","events_json":"https://pith.science/api/pith-number/RFJYTPJ26RKSM4XSWHFHSGM2OA/events.json","paper":"https://pith.science/paper/RFJYTPJ2"},"agent_actions":{"view_html":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA","download_json":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA.json","view_paper":"https://pith.science/paper/RFJYTPJ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2110.08260&json=true","fetch_graph":"https://pith.science/api/pith-number/RFJYTPJ26RKSM4XSWHFHSGM2OA/graph.json","fetch_events":"https://pith.science/api/pith-number/RFJYTPJ26RKSM4XSWHFHSGM2OA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA/action/storage_attestation","attest_author":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA/action/author_attestation","sign_citation":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA/action/citation_signature","submit_replication":"https://pith.science/pith/RFJYTPJ26RKSM4XSWHFHSGM2OA/action/replication_record"}},"created_at":"2026-07-05T06:04:32.455913+00:00","updated_at":"2026-07-05T06:04:32.455913+00:00"}