{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6JH5NJ272A4OWLO2TK72HO3MHF","short_pith_number":"pith:6JH5NJ27","canonical_record":{"source":{"id":"2507.22538","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T10:06:35Z","cross_cats_sorted":[],"title_canon_sha256":"d2a9dc0b08eceba35820f23c931047a6114118be272e4a7f4923a590911aaf6d","abstract_canon_sha256":"9de15c43edcf8ed36b795c9e02c997447a2c7e14d7d349c4b68116f0ed7f2e43"},"schema_version":"1.0"},"canonical_sha256":"f24fd6a75fd038eb2dda9abfa3bb6c3979ad905641ab298589da53bb919b4bf6","source":{"kind":"arxiv","id":"2507.22538","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.22538","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"arxiv_version","alias_value":"2507.22538v1","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22538","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_12","alias_value":"6JH5NJ272A4O","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_16","alias_value":"6JH5NJ272A4OWLO2","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_8","alias_value":"6JH5NJ27","created_at":"2026-07-05T11:45:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6JH5NJ272A4OWLO2TK72HO3MHF","target":"record","payload":{"canonical_record":{"source":{"id":"2507.22538","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T10:06:35Z","cross_cats_sorted":[],"title_canon_sha256":"d2a9dc0b08eceba35820f23c931047a6114118be272e4a7f4923a590911aaf6d","abstract_canon_sha256":"9de15c43edcf8ed36b795c9e02c997447a2c7e14d7d349c4b68116f0ed7f2e43"},"schema_version":"1.0"},"canonical_sha256":"f24fd6a75fd038eb2dda9abfa3bb6c3979ad905641ab298589da53bb919b4bf6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:44.213377Z","signature_b64":"m7mgmMq4Bs3Oer61vQ4r4Zlq+Nl98lVnbdJwewvOARklkO76I5VDaMFF4J0vbteLsu3kX8N7kNdPI+AjI6zwAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f24fd6a75fd038eb2dda9abfa3bb6c3979ad905641ab298589da53bb919b4bf6","last_reissued_at":"2026-07-05T11:45:44.212803Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:44.212803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.22538","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-05T11:45:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MWFTvaXW4iIXF1yXS2h3fcVB69Vz2qI0Ar6tr8Qr6kHUcorJSMVXTfiEB80RlXeLYO278F7PQiBCutzoHCZ6DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:23:26.976546Z"},"content_sha256":"fd1f930c5dc269a014a9115575bf27f68fd64a53ddf300dfa1d75bd3faae439e","schema_version":"1.0","event_id":"sha256:fd1f930c5dc269a014a9115575bf27f68fd64a53ddf300dfa1d75bd3faae439e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6JH5NJ272A4OWLO2TK72HO3MHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inside madupite: Technical Design and Performance","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"John Lygeros, Matilde Gargiani, Philip Pawlowsky, Robin Sieber","submitted_at":"2025-07-30T10:06:35Z","abstract_excerpt":"In this work, we introduce and benchmark madupite, a newly proposed high-performance solver designed for large-scale discounted infinite-horizon Markov decision processes with finite state and action spaces. After a brief overview of the class of mathematical optimization methods on which madupite relies, we provide details on implementation choices, technical design and deployment. We then demonstrate its scalability and efficiency by showcasing its performance on the solution of Markov decision processes arising from different application areas, including epidemiology and classical control. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22538","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/2507.22538/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-05T11:45:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uwpeVBxNSCgzIFsSfCeO1xxqvPC/JZmnx/OnX3aJ7jLQjCdf9Y//sDvxnLbq3M6E8DO0NT4SNXOM9nXA1bhtCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:23:26.977076Z"},"content_sha256":"ec14357aa95f16f89651494c8bc3ea2bdbc5b393554cdd7ddfffbdeb8c0ea3c9","schema_version":"1.0","event_id":"sha256:ec14357aa95f16f89651494c8bc3ea2bdbc5b393554cdd7ddfffbdeb8c0ea3c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6JH5NJ272A4OWLO2TK72HO3MHF/bundle.json","state_url":"https://pith.science/pith/6JH5NJ272A4OWLO2TK72HO3MHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6JH5NJ272A4OWLO2TK72HO3MHF/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-08-14T17:23:27Z","links":{"resolver":"https://pith.science/pith/6JH5NJ272A4OWLO2TK72HO3MHF","bundle":"https://pith.science/pith/6JH5NJ272A4OWLO2TK72HO3MHF/bundle.json","state":"https://pith.science/pith/6JH5NJ272A4OWLO2TK72HO3MHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6JH5NJ272A4OWLO2TK72HO3MHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6JH5NJ272A4OWLO2TK72HO3MHF","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":"9de15c43edcf8ed36b795c9e02c997447a2c7e14d7d349c4b68116f0ed7f2e43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T10:06:35Z","title_canon_sha256":"d2a9dc0b08eceba35820f23c931047a6114118be272e4a7f4923a590911aaf6d"},"schema_version":"1.0","source":{"id":"2507.22538","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.22538","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"arxiv_version","alias_value":"2507.22538v1","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22538","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_12","alias_value":"6JH5NJ272A4O","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_16","alias_value":"6JH5NJ272A4OWLO2","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_8","alias_value":"6JH5NJ27","created_at":"2026-07-05T11:45:44Z"}],"graph_snapshots":[{"event_id":"sha256:ec14357aa95f16f89651494c8bc3ea2bdbc5b393554cdd7ddfffbdeb8c0ea3c9","target":"graph","created_at":"2026-07-05T11:45:44Z","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/2507.22538/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we introduce and benchmark madupite, a newly proposed high-performance solver designed for large-scale discounted infinite-horizon Markov decision processes with finite state and action spaces. After a brief overview of the class of mathematical optimization methods on which madupite relies, we provide details on implementation choices, technical design and deployment. We then demonstrate its scalability and efficiency by showcasing its performance on the solution of Markov decision processes arising from different application areas, including epidemiology and classical control. ","authors_text":"John Lygeros, Matilde Gargiani, Philip Pawlowsky, Robin Sieber","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T10:06:35Z","title":"Inside madupite: Technical Design and Performance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22538","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:fd1f930c5dc269a014a9115575bf27f68fd64a53ddf300dfa1d75bd3faae439e","target":"record","created_at":"2026-07-05T11:45:44Z","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":"9de15c43edcf8ed36b795c9e02c997447a2c7e14d7d349c4b68116f0ed7f2e43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T10:06:35Z","title_canon_sha256":"d2a9dc0b08eceba35820f23c931047a6114118be272e4a7f4923a590911aaf6d"},"schema_version":"1.0","source":{"id":"2507.22538","kind":"arxiv","version":1}},"canonical_sha256":"f24fd6a75fd038eb2dda9abfa3bb6c3979ad905641ab298589da53bb919b4bf6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f24fd6a75fd038eb2dda9abfa3bb6c3979ad905641ab298589da53bb919b4bf6","first_computed_at":"2026-07-05T11:45:44.212803Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:44.212803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m7mgmMq4Bs3Oer61vQ4r4Zlq+Nl98lVnbdJwewvOARklkO76I5VDaMFF4J0vbteLsu3kX8N7kNdPI+AjI6zwAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:44.213377Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.22538","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd1f930c5dc269a014a9115575bf27f68fd64a53ddf300dfa1d75bd3faae439e","sha256:ec14357aa95f16f89651494c8bc3ea2bdbc5b393554cdd7ddfffbdeb8c0ea3c9"],"state_sha256":"73855f90dc0d5e666c834da099c93eaef447529d517763963a29334b980bd812"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cZLETrt698WZZ7MZdHk7NXVu3t7EEP8zelmgZ4RPon0yWgJQPlc//NWAJpPi2ALFvZshxRgnwM8bI4MGd3ijCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T17:23:27.006810Z","bundle_sha256":"0685507e5adfb88816662e199ed141b05545647c951f89bf6c938f313e1732d8"}}