{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7PRLBYYBSRJWFRCPFJ7PY6NK65","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":"68063151aa43ac0110b223ffc7df7215724af1baa1b2b8702d1c6ce15ef87a13","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-05-22T23:15:37Z","title_canon_sha256":"ba6ac43d54901ee83b4db8e832e0d320717f1c7c5f72228343d130f1358e344a"},"schema_version":"1.0","source":{"id":"2605.24280","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.24280","created_at":"2026-05-26T01:02:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.24280v1","created_at":"2026-05-26T01:02:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.24280","created_at":"2026-05-26T01:02:57Z"},{"alias_kind":"pith_short_12","alias_value":"7PRLBYYBSRJW","created_at":"2026-05-26T01:02:57Z"},{"alias_kind":"pith_short_16","alias_value":"7PRLBYYBSRJWFRCP","created_at":"2026-05-26T01:02:57Z"},{"alias_kind":"pith_short_8","alias_value":"7PRLBYYB","created_at":"2026-05-26T01:02:57Z"}],"graph_snapshots":[{"event_id":"sha256:ac67497ffb1f870e9acfbb2709d732a49a2216a07078e18f3166a94acb0ce968","target":"graph","created_at":"2026-05-26T01:02:57Z","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/2605.24280/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The algorithmic differentiation (AD) of mathematical functions can be interpreted as a sequence of vertex eliminations in an underlying directed acyclic graph. The problem of determining a minimum-cost elimination ordering, which we call Optimal Vertex Elimination, is NP-complete. Consequently, much effort has been devoted to the design of heuristics. Many of these heuristics are widely believed to perform well in practice, but this hypothesis has so far been difficult to test due to the lack of scalable exact methods.\n  We design and engineer new integer programming formulations for Optimal V","authors_text":"Alex Crane, Andrew Lyons, Blair D. Sullivan, Eli Friedman, Jan H\\\"uckelheim, Mac\\'eo Ottavy, P{\\aa}l Gr{\\o}n{\\aa}s Drange, Paul D. Hovland, Yosuke Mizutani","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-05-22T23:15:37Z","title":"A Comprehensive Evaluation of Vertex Elimination Algorithms for Algorithmic Differentiation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.24280","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:99d01c3bc601b71802b12a44652b7c426766eedb2532132282e7d7fc6ec6f592","target":"record","created_at":"2026-05-26T01:02:57Z","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":"68063151aa43ac0110b223ffc7df7215724af1baa1b2b8702d1c6ce15ef87a13","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-05-22T23:15:37Z","title_canon_sha256":"ba6ac43d54901ee83b4db8e832e0d320717f1c7c5f72228343d130f1358e344a"},"schema_version":"1.0","source":{"id":"2605.24280","kind":"arxiv","version":1}},"canonical_sha256":"fbe2b0e301945362c44f2a7efc79aaf76cf7ec83874698e87fb808aa9b4a0598","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbe2b0e301945362c44f2a7efc79aaf76cf7ec83874698e87fb808aa9b4a0598","first_computed_at":"2026-05-26T01:02:57.611129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T01:02:57.611129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kb10gSrzUUopeXRL4f2rVRs4R1qMmOLlTUt0+uGuXIOPZNtIvYCmZ8TeXChjn91RoM1PoaWofbYRmtCa7j+nDw==","signature_status":"signed_v1","signed_at":"2026-05-26T01:02:57.611760Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.24280","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99d01c3bc601b71802b12a44652b7c426766eedb2532132282e7d7fc6ec6f592","sha256:ac67497ffb1f870e9acfbb2709d732a49a2216a07078e18f3166a94acb0ce968"],"state_sha256":"2c163c002e07f70d97fce15e1bcaefb5566d74784441f90a482efa2c8270eced"}