{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:FGKOBGRREQAH3DEHYEV4CRHCR2","short_pith_number":"pith:FGKOBGRR","schema_version":"1.0","canonical_sha256":"2994e09a3124007d8c87c12bc144e28e87ed9345aff0b5aa447361fd1a294ad2","source":{"kind":"arxiv","id":"2104.02466","version":2},"attestation_state":"computed","paper":{"title":"A Review of Formal Methods applied to Machine Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Antoine Min\\'e, Caterina Urban","submitted_at":"2021-04-06T12:48:17Z","abstract_excerpt":"We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tools, their use is well established in the industry, and in particular to check safety-critical applications as they undergo a stringent certification process. As machine learning is becoming more popular, machine-learned components are now considered for inclusion in critical systems. This raises the question of their safety and their verificati"},"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":"2104.02466","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-04-06T12:48:17Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"baf3464c3cc0da17f4bf6efecf8042b98eddecdc06bbd16774f9e9f5246852bc","abstract_canon_sha256":"56bdf057481e6395ebc713d89c88a7a663bf548815df67bb67edacb789980052"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:33:58.582459Z","signature_b64":"WBPn4kyAF0pBS8t7xgbwkT6kPszycHlahLzmgafpKTVokq826jdPxVhWWEu5KMUPweF/Ql6ymnbrbqlyv/+HBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2994e09a3124007d8c87c12bc144e28e87ed9345aff0b5aa447361fd1a294ad2","last_reissued_at":"2026-07-05T02:33:58.582027Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:33:58.582027Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Review of Formal Methods applied to Machine Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Antoine Min\\'e, Caterina Urban","submitted_at":"2021-04-06T12:48:17Z","abstract_excerpt":"We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tools, their use is well established in the industry, and in particular to check safety-critical applications as they undergo a stringent certification process. As machine learning is becoming more popular, machine-learned components are now considered for inclusion in critical systems. This raises the question of their safety and their verificati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.02466","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/2104.02466/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":"2104.02466","created_at":"2026-07-05T02:33:58.582075+00:00"},{"alias_kind":"arxiv_version","alias_value":"2104.02466v2","created_at":"2026-07-05T02:33:58.582075+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.02466","created_at":"2026-07-05T02:33:58.582075+00:00"},{"alias_kind":"pith_short_12","alias_value":"FGKOBGRREQAH","created_at":"2026-07-05T02:33:58.582075+00:00"},{"alias_kind":"pith_short_16","alias_value":"FGKOBGRREQAH3DEH","created_at":"2026-07-05T02:33:58.582075+00:00"},{"alias_kind":"pith_short_8","alias_value":"FGKOBGRR","created_at":"2026-07-05T02:33:58.582075+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":6,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2512.00164","citing_title":"Faster Verified Explanations for Neural Networks","ref_index":32,"is_internal_anchor":false},{"citing_arxiv_id":"2512.05439","citing_title":"BEAVER: An Efficient Deterministic LLM Verifier","ref_index":50,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13845","citing_title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","ref_index":118,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13845","citing_title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","ref_index":118,"is_internal_anchor":false},{"citing_arxiv_id":"2604.25733","citing_title":"Verification of Neural Networks (Lecture Notes)","ref_index":53,"is_internal_anchor":false},{"citing_arxiv_id":"2604.24379","citing_title":"Certified geometric robustness -- Super-DeepG","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2","json":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2.json","graph_json":"https://pith.science/api/pith-number/FGKOBGRREQAH3DEHYEV4CRHCR2/graph.json","events_json":"https://pith.science/api/pith-number/FGKOBGRREQAH3DEHYEV4CRHCR2/events.json","paper":"https://pith.science/paper/FGKOBGRR"},"agent_actions":{"view_html":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2","download_json":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2.json","view_paper":"https://pith.science/paper/FGKOBGRR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2104.02466&json=true","fetch_graph":"https://pith.science/api/pith-number/FGKOBGRREQAH3DEHYEV4CRHCR2/graph.json","fetch_events":"https://pith.science/api/pith-number/FGKOBGRREQAH3DEHYEV4CRHCR2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2/action/storage_attestation","attest_author":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2/action/author_attestation","sign_citation":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2/action/citation_signature","submit_replication":"https://pith.science/pith/FGKOBGRREQAH3DEHYEV4CRHCR2/action/replication_record"}},"created_at":"2026-07-05T02:33:58.582075+00:00","updated_at":"2026-07-05T02:33:58.582075+00:00"}