{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:N7NPNDHYLBUWS55P7EULICGACC","short_pith_number":"pith:N7NPNDHY","canonical_record":{"source":{"id":"2303.17618","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-03-30T11:26:40Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"c8b9de424c16f9192a22f443c3afb904849eaabae299bed074a3d9485c844caa","abstract_canon_sha256":"eb530bdfb990ebaf13dd034955a7cba164bfe92ac96d2ee861d63e7f4c5d76b8"},"schema_version":"1.0"},"canonical_sha256":"6fdaf68cf858696977aff928b408c010b972296c28e14d71811cd646d7bb594f","source":{"kind":"arxiv","id":"2303.17618","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.17618","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"arxiv_version","alias_value":"2303.17618v4","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.17618","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_12","alias_value":"N7NPNDHYLBUW","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_16","alias_value":"N7NPNDHYLBUWS55P","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_8","alias_value":"N7NPNDHY","created_at":"2026-07-05T07:06:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:N7NPNDHYLBUWS55P7EULICGACC","target":"record","payload":{"canonical_record":{"source":{"id":"2303.17618","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-03-30T11:26:40Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"c8b9de424c16f9192a22f443c3afb904849eaabae299bed074a3d9485c844caa","abstract_canon_sha256":"eb530bdfb990ebaf13dd034955a7cba164bfe92ac96d2ee861d63e7f4c5d76b8"},"schema_version":"1.0"},"canonical_sha256":"6fdaf68cf858696977aff928b408c010b972296c28e14d71811cd646d7bb594f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:06:25.212441Z","signature_b64":"rBv8A+2SXKL5ATWMVrUqLiD+aDD/rsPsk4vmmBt/vP8GvxNzpzbmXprcuNP80/KaBjdmNzNsqGX0//Hh6Sw2DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fdaf68cf858696977aff928b408c010b972296c28e14d71811cd646d7bb594f","last_reissued_at":"2026-07-05T07:06:25.211936Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:06:25.211936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.17618","source_version":4,"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-05T07:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"if6/F1oCtp+j0RzyIsl/Fd2af2cxZwpqggHS2+W8+lVUWBADIOobAsQM4v55OueNo80tKkQ1gvG1g4l1QwpGBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:34:34.694375Z"},"content_sha256":"5fce1dc28e67ca383862b7e164b59638d020a143564eb92ed7dcf1f5d6ee53f6","schema_version":"1.0","event_id":"sha256:5fce1dc28e67ca383862b7e164b59638d020a143564eb92ed7dcf1f5d6ee53f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:N7NPNDHYLBUWS55P7EULICGACC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Adrien Banse, Alessandro Abate, Licio Romao, Rapha\\\"el M. Jungers","submitted_at":"2023-03-30T11:26:40Z","abstract_excerpt":"We introduce an adaptive refinement procedure for smart, and scalable abstraction of dynamical systems. Our technique relies on partitioning the state space depending on the observation of future outputs. However, this knowledge is dynamically constructed in an adaptive, asymmetric way. In order to learn the optimal structure, we define a Kantorovich-inspired metric between Markov chains, and we use it as a loss function. Our technique is prone to data-driven frameworks, but not restricted to.\n  We also study properties of the above mentioned metric between Markov chains, which we believe coul"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.17618","kind":"arxiv","version":4},"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/2303.17618/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-05T07:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"19G6ZTevztP7Ilupe/NR6fZTQGGGsPaosrZQpCgumrMtvuv3a/iIQvKKdtRu88Ucs5URs+RUyMuKlSFSZv8vBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:34:34.694923Z"},"content_sha256":"70165e5d4cd77558cf68b4b087bbcb1c8ac224384718a502e796234402fc7f5b","schema_version":"1.0","event_id":"sha256:70165e5d4cd77558cf68b4b087bbcb1c8ac224384718a502e796234402fc7f5b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N7NPNDHYLBUWS55P7EULICGACC/bundle.json","state_url":"https://pith.science/pith/N7NPNDHYLBUWS55P7EULICGACC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N7NPNDHYLBUWS55P7EULICGACC/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-11T19:34:34Z","links":{"resolver":"https://pith.science/pith/N7NPNDHYLBUWS55P7EULICGACC","bundle":"https://pith.science/pith/N7NPNDHYLBUWS55P7EULICGACC/bundle.json","state":"https://pith.science/pith/N7NPNDHYLBUWS55P7EULICGACC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N7NPNDHYLBUWS55P7EULICGACC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:N7NPNDHYLBUWS55P7EULICGACC","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":"eb530bdfb990ebaf13dd034955a7cba164bfe92ac96d2ee861d63e7f4c5d76b8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-03-30T11:26:40Z","title_canon_sha256":"c8b9de424c16f9192a22f443c3afb904849eaabae299bed074a3d9485c844caa"},"schema_version":"1.0","source":{"id":"2303.17618","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.17618","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"arxiv_version","alias_value":"2303.17618v4","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.17618","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_12","alias_value":"N7NPNDHYLBUW","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_16","alias_value":"N7NPNDHYLBUWS55P","created_at":"2026-07-05T07:06:25Z"},{"alias_kind":"pith_short_8","alias_value":"N7NPNDHY","created_at":"2026-07-05T07:06:25Z"}],"graph_snapshots":[{"event_id":"sha256:70165e5d4cd77558cf68b4b087bbcb1c8ac224384718a502e796234402fc7f5b","target":"graph","created_at":"2026-07-05T07:06:25Z","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/2303.17618/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce an adaptive refinement procedure for smart, and scalable abstraction of dynamical systems. Our technique relies on partitioning the state space depending on the observation of future outputs. However, this knowledge is dynamically constructed in an adaptive, asymmetric way. In order to learn the optimal structure, we define a Kantorovich-inspired metric between Markov chains, and we use it as a loss function. Our technique is prone to data-driven frameworks, but not restricted to.\n  We also study properties of the above mentioned metric between Markov chains, which we believe coul","authors_text":"Adrien Banse, Alessandro Abate, Licio Romao, Rapha\\\"el M. Jungers","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-03-30T11:26:40Z","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.17618","kind":"arxiv","version":4},"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:5fce1dc28e67ca383862b7e164b59638d020a143564eb92ed7dcf1f5d6ee53f6","target":"record","created_at":"2026-07-05T07:06:25Z","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":"eb530bdfb990ebaf13dd034955a7cba164bfe92ac96d2ee861d63e7f4c5d76b8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-03-30T11:26:40Z","title_canon_sha256":"c8b9de424c16f9192a22f443c3afb904849eaabae299bed074a3d9485c844caa"},"schema_version":"1.0","source":{"id":"2303.17618","kind":"arxiv","version":4}},"canonical_sha256":"6fdaf68cf858696977aff928b408c010b972296c28e14d71811cd646d7bb594f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fdaf68cf858696977aff928b408c010b972296c28e14d71811cd646d7bb594f","first_computed_at":"2026-07-05T07:06:25.211936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:06:25.211936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rBv8A+2SXKL5ATWMVrUqLiD+aDD/rsPsk4vmmBt/vP8GvxNzpzbmXprcuNP80/KaBjdmNzNsqGX0//Hh6Sw2DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:06:25.212441Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.17618","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5fce1dc28e67ca383862b7e164b59638d020a143564eb92ed7dcf1f5d6ee53f6","sha256:70165e5d4cd77558cf68b4b087bbcb1c8ac224384718a502e796234402fc7f5b"],"state_sha256":"3530167048bc090f450b1873e25f08023b558df40a5f38c34210b66c3ef59c23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y9EH3RJhZHGHZwthTCPGVeJ5vYMKvrXN2nTGZuWFFp9JsCCHDBryQWHQYRGUqqu2kKO9Qeezf5xHCD3Dr4OoCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T19:34:34.699575Z","bundle_sha256":"6182427349c4986db6e748cab56883a9c86abc198a8eb095a8d20fbdc0b8a284"}}