{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:CTFDEFKAHC3PTXLSLUAKYOXXWZ","short_pith_number":"pith:CTFDEFKA","canonical_record":{"source":{"id":"2206.07194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-14T22:52:25Z","cross_cats_sorted":[],"title_canon_sha256":"40c77a3285ceb2ba27aea452ad79b8ee938da491ec72f3acd87651dfb9dba1e8","abstract_canon_sha256":"f1a96f4fa7f48bd4923b267faf72ab91953ec8b382ee6a76f9a2f78b6885340d"},"schema_version":"1.0"},"canonical_sha256":"14ca32154038b6f9dd725d00ac3af7b64b2c609240d128f40edac57131418297","source":{"kind":"arxiv","id":"2206.07194","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.07194","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"2206.07194v1","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.07194","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"CTFDEFKAHC3P","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_16","alias_value":"CTFDEFKAHC3PTXLS","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_8","alias_value":"CTFDEFKA","created_at":"2026-07-05T04:32:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:CTFDEFKAHC3PTXLSLUAKYOXXWZ","target":"record","payload":{"canonical_record":{"source":{"id":"2206.07194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-14T22:52:25Z","cross_cats_sorted":[],"title_canon_sha256":"40c77a3285ceb2ba27aea452ad79b8ee938da491ec72f3acd87651dfb9dba1e8","abstract_canon_sha256":"f1a96f4fa7f48bd4923b267faf72ab91953ec8b382ee6a76f9a2f78b6885340d"},"schema_version":"1.0"},"canonical_sha256":"14ca32154038b6f9dd725d00ac3af7b64b2c609240d128f40edac57131418297","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:32:01.958971Z","signature_b64":"UBsNPx1iFEwMC9z4f3j8aQAZk9qSAJDeScJ9xEwLpVUadeofsyjuhVPnj1kU411Vmuz1FG7tBChDikExQIhtCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14ca32154038b6f9dd725d00ac3af7b64b2c609240d128f40edac57131418297","last_reissued_at":"2026-07-05T04:32:01.958471Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:32:01.958471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.07194","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+0A4asdrc3kfVvgfTOkG82KO5cQRUeJ4QbLMdyZKGdiZLCjs02XDZajOLEwAfkk6eoIHdj54ZDIwiaOSapgLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T06:55:11.646457Z"},"content_sha256":"d045bfa675d86a229bd57076a9d318e066a07fe2866638a542c04e6574dc9101","schema_version":"1.0","event_id":"sha256:d045bfa675d86a229bd57076a9d318e066a07fe2866638a542c04e6574dc9101"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:CTFDEFKAHC3PTXLSLUAKYOXXWZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machines Explaining Linear Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"David Steinmann, Devendra Singh Dhami, Kristian Kersting, Matej Ze\\v{c}evi\\'c","submitted_at":"2022-06-14T22:52:25Z","abstract_excerpt":"There has been a recent push in making machine learning models more interpretable so that their performance can be trusted. Although successful, these methods have mostly focused on the deep learning methods while the fundamental optimization methods in machine learning such as linear programs (LP) have been left out. Even if LPs can be considered as whitebox or clearbox models, they are not easy to understand in terms of relationships between inputs and outputs. As a linear program only provides the optimal solution to an optimization problem, further explanations are often helpful. In this w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.07194","kind":"arxiv","version":1},"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/2206.07194/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DfdCFOjbVvx9vvCmzhOUIeQ0npOdTERdDnJ3l9n1ZzS5Twh6/dXwlXXpLncslwj3cKUjCa2UGTBDS3/lTv5mCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T06:55:11.646834Z"},"content_sha256":"5791888c20804bb62c25619b91dc3096e3616850c965f13a40366a7a1b3aa27f","schema_version":"1.0","event_id":"sha256:5791888c20804bb62c25619b91dc3096e3616850c965f13a40366a7a1b3aa27f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/bundle.json","state_url":"https://pith.science/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-10T06:55:11Z","links":{"resolver":"https://pith.science/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ","bundle":"https://pith.science/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/bundle.json","state":"https://pith.science/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CTFDEFKAHC3PTXLSLUAKYOXXWZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:CTFDEFKAHC3PTXLSLUAKYOXXWZ","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":"f1a96f4fa7f48bd4923b267faf72ab91953ec8b382ee6a76f9a2f78b6885340d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-14T22:52:25Z","title_canon_sha256":"40c77a3285ceb2ba27aea452ad79b8ee938da491ec72f3acd87651dfb9dba1e8"},"schema_version":"1.0","source":{"id":"2206.07194","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.07194","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"2206.07194v1","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.07194","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"CTFDEFKAHC3P","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_16","alias_value":"CTFDEFKAHC3PTXLS","created_at":"2026-07-05T04:32:01Z"},{"alias_kind":"pith_short_8","alias_value":"CTFDEFKA","created_at":"2026-07-05T04:32:01Z"}],"graph_snapshots":[{"event_id":"sha256:5791888c20804bb62c25619b91dc3096e3616850c965f13a40366a7a1b3aa27f","target":"graph","created_at":"2026-07-05T04:32:01Z","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/2206.07194/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There has been a recent push in making machine learning models more interpretable so that their performance can be trusted. Although successful, these methods have mostly focused on the deep learning methods while the fundamental optimization methods in machine learning such as linear programs (LP) have been left out. Even if LPs can be considered as whitebox or clearbox models, they are not easy to understand in terms of relationships between inputs and outputs. As a linear program only provides the optimal solution to an optimization problem, further explanations are often helpful. In this w","authors_text":"David Steinmann, Devendra Singh Dhami, Kristian Kersting, Matej Ze\\v{c}evi\\'c","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-14T22:52:25Z","title":"Machines Explaining Linear Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.07194","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:d045bfa675d86a229bd57076a9d318e066a07fe2866638a542c04e6574dc9101","target":"record","created_at":"2026-07-05T04:32:01Z","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":"f1a96f4fa7f48bd4923b267faf72ab91953ec8b382ee6a76f9a2f78b6885340d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-14T22:52:25Z","title_canon_sha256":"40c77a3285ceb2ba27aea452ad79b8ee938da491ec72f3acd87651dfb9dba1e8"},"schema_version":"1.0","source":{"id":"2206.07194","kind":"arxiv","version":1}},"canonical_sha256":"14ca32154038b6f9dd725d00ac3af7b64b2c609240d128f40edac57131418297","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14ca32154038b6f9dd725d00ac3af7b64b2c609240d128f40edac57131418297","first_computed_at":"2026-07-05T04:32:01.958471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:32:01.958471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UBsNPx1iFEwMC9z4f3j8aQAZk9qSAJDeScJ9xEwLpVUadeofsyjuhVPnj1kU411Vmuz1FG7tBChDikExQIhtCg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:32:01.958971Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.07194","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d045bfa675d86a229bd57076a9d318e066a07fe2866638a542c04e6574dc9101","sha256:5791888c20804bb62c25619b91dc3096e3616850c965f13a40366a7a1b3aa27f"],"state_sha256":"8144df7a5a07248463cdbd494febe7ba3ded467d1614269db28358b0021078c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mIqjQYiSq/gf3u2X0wvnF2q3Lgqt258oHUxVMQeo6OH5kFLa4TGRwkvJaMwgC+fmBvqyp7TDqHzecUVquyCSBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T06:55:11.648759Z","bundle_sha256":"c6c53f15387b1a6d3df3d9e2be7d8ba0d290ad95ca4ee60955f10b46f695cae9"}}