{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JZ2FOX6Z7JSMBDG7DZ4NEK5M3W","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d6e3d2c7260a8a5d15d8956541ecfaa0f23e9f9d469da1f01eaf26cbada7a108","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-09T21:30:03Z","title_canon_sha256":"c4a3ebb2a5d9d39836a53786dbb487d870192e43270e5be4f38b766622b9065d"},"schema_version":"1.0","source":{"id":"2405.06109","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06109","created_at":"2026-07-05T08:17:35Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06109v1","created_at":"2026-07-05T08:17:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06109","created_at":"2026-07-05T08:17:35Z"},{"alias_kind":"pith_short_12","alias_value":"JZ2FOX6Z7JSM","created_at":"2026-07-05T08:17:35Z"},{"alias_kind":"pith_short_16","alias_value":"JZ2FOX6Z7JSMBDG7","created_at":"2026-07-05T08:17:35Z"},{"alias_kind":"pith_short_8","alias_value":"JZ2FOX6Z","created_at":"2026-07-05T08:17:35Z"}],"graph_snapshots":[{"event_id":"sha256:ef7c8953f7ad4e5aacda13ef009edc68448df8a7a68fc55502d17adcd44bf123","target":"graph","created_at":"2026-07-05T08:17:35Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2405.06109/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Optimal Power Flow (OPF) is a valuable tool for power system operators, but it is a difficult problem to solve for large systems.\n  Machine Learning (ML) algorithms, especially Neural Networks-based (NN) optimization proxies, have emerged as a promising new tool for solving OPF, by estimating the OPF solution much faster than traditional methods.\n  However, these ML algorithms act as black boxes, and it is hard to assess their worst-case performance across the entire range of possible inputs than an OPF can have.\n  Previous work has proposed a mixed-integer programming-based methodology to qua","authors_text":"Mathieu Tanneau, Pascal Van Hentenryck, Rahul Nellikkath, Spyros Chatzivasileiadis","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-09T21:30:03Z","title":"Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06109","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7d56490883a0a5c539501e32b924b224d303c2473f73af89b8bcb47da59f0285","target":"record","created_at":"2026-07-05T08:17:35Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d6e3d2c7260a8a5d15d8956541ecfaa0f23e9f9d469da1f01eaf26cbada7a108","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-09T21:30:03Z","title_canon_sha256":"c4a3ebb2a5d9d39836a53786dbb487d870192e43270e5be4f38b766622b9065d"},"schema_version":"1.0","source":{"id":"2405.06109","kind":"arxiv","version":1}},"canonical_sha256":"4e74575fd9fa64c08cdf1e78d22bacdd96d285fbabddbe063896e98b663454e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e74575fd9fa64c08cdf1e78d22bacdd96d285fbabddbe063896e98b663454e2","first_computed_at":"2026-07-05T08:17:35.670504Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:17:35.670504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CIwDBaRWFZNNyO0fsuQ7Z55ePOxWZhOvMU6DOFDkK9V+X2LQd3WQT28eCEO48Vp4/9J5u6KG9eCZ0gL5mMOdCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:17:35.670986Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.06109","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d56490883a0a5c539501e32b924b224d303c2473f73af89b8bcb47da59f0285","sha256:ef7c8953f7ad4e5aacda13ef009edc68448df8a7a68fc55502d17adcd44bf123"],"state_sha256":"118e52f5fa5ab0950abc00cf7fb2588a0a1e82fe1a5c14f5362644e03472c57d"}