{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HPTTZNLFALBUCT5ZCN4BE3BNKX","short_pith_number":"pith:HPTTZNLF","canonical_record":{"source":{"id":"2304.03674","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-07T14:47:13Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"82c2406efb671457b7110cf9871c91c3d428bcaf1a1259682ff9790d99b0465e","abstract_canon_sha256":"9ad050bef1e1b989f9f1b150df4892a99ebcdbf10b7e2362eb47b17ff2476f57"},"schema_version":"1.0"},"canonical_sha256":"3be73cb56502c3414fb91378126c2d55d92a2487e9dde9a329dae05ca8a7bdc4","source":{"kind":"arxiv","id":"2304.03674","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03674","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03674v2","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03674","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_12","alias_value":"HPTTZNLFALBU","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_16","alias_value":"HPTTZNLFALBUCT5Z","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_8","alias_value":"HPTTZNLF","created_at":"2026-07-05T07:40:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HPTTZNLFALBUCT5ZCN4BE3BNKX","target":"record","payload":{"canonical_record":{"source":{"id":"2304.03674","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-07T14:47:13Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"82c2406efb671457b7110cf9871c91c3d428bcaf1a1259682ff9790d99b0465e","abstract_canon_sha256":"9ad050bef1e1b989f9f1b150df4892a99ebcdbf10b7e2362eb47b17ff2476f57"},"schema_version":"1.0"},"canonical_sha256":"3be73cb56502c3414fb91378126c2d55d92a2487e9dde9a329dae05ca8a7bdc4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:40:40.394623Z","signature_b64":"3RYxHfDAwB3cRJ8Rult8x+F81f6V+ZUO0gV8IGv9G3I/Dp4Wuo2aAoGkwpChtE2ubp2RCrHdkW29Tij6ps09Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3be73cb56502c3414fb91378126c2d55d92a2487e9dde9a329dae05ca8a7bdc4","last_reissued_at":"2026-07-05T07:40:40.394144Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:40:40.394144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.03674","source_version":2,"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:40:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V8agt7eQ4qwIM+1MODb7TvLHseWJVVsfGUMuJa8fsZ+LrAH7qNyg4DMaEgJbl0FFXv/g9EFkK9NwFdR7eFirBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:33.499210Z"},"content_sha256":"2f90b91d6cc231529df510a82a61de19c08388dc5706fc6ea24d90a74d77ae08","schema_version":"1.0","event_id":"sha256:2f90b91d6cc231529df510a82a61de19c08388dc5706fc6ea24d90a74d77ae08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HPTTZNLFALBUCT5ZCN4BE3BNKX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machine Learning with Requirements: a Manifesto","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.LG","authors_text":"Eleonora Giunchiglia, Fergus Imrie, Mihaela van der Schaar, Thomas Lukasiewicz","submitted_at":"2023-04-07T14:47:13Z","abstract_excerpt":"In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open issue how make them applicable to high-stakes or safety-critical application domains, as they can often be brittle and unreliable. In this paper, we argue that requirements definition and satisfaction can go a long way to make machine learning models even more fitting to the real world, especially in critical domains. To this end, we present two problems in which (i) requirements arise naturally, (ii) machine learning "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03674","kind":"arxiv","version":2},"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/2304.03674/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:40:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6R4L99MWBfm4relTk0B6vE7sdmZlirZLS+mMQTioSURZAd85LMwlcRQxme9tP3XWrRNwKuhxR6OFF5QQYnVzBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:33.499594Z"},"content_sha256":"765c8430a0118cb48f34577849e44ffed01bcbac99e338c448bcba64770fab2f","schema_version":"1.0","event_id":"sha256:765c8430a0118cb48f34577849e44ffed01bcbac99e338c448bcba64770fab2f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/bundle.json","state_url":"https://pith.science/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/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-07T06:54:33Z","links":{"resolver":"https://pith.science/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX","bundle":"https://pith.science/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/bundle.json","state":"https://pith.science/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HPTTZNLFALBUCT5ZCN4BE3BNKX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HPTTZNLFALBUCT5ZCN4BE3BNKX","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":"9ad050bef1e1b989f9f1b150df4892a99ebcdbf10b7e2362eb47b17ff2476f57","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-07T14:47:13Z","title_canon_sha256":"82c2406efb671457b7110cf9871c91c3d428bcaf1a1259682ff9790d99b0465e"},"schema_version":"1.0","source":{"id":"2304.03674","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03674","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03674v2","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03674","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_12","alias_value":"HPTTZNLFALBU","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_16","alias_value":"HPTTZNLFALBUCT5Z","created_at":"2026-07-05T07:40:40Z"},{"alias_kind":"pith_short_8","alias_value":"HPTTZNLF","created_at":"2026-07-05T07:40:40Z"}],"graph_snapshots":[{"event_id":"sha256:765c8430a0118cb48f34577849e44ffed01bcbac99e338c448bcba64770fab2f","target":"graph","created_at":"2026-07-05T07:40:40Z","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/2304.03674/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open issue how make them applicable to high-stakes or safety-critical application domains, as they can often be brittle and unreliable. In this paper, we argue that requirements definition and satisfaction can go a long way to make machine learning models even more fitting to the real world, especially in critical domains. To this end, we present two problems in which (i) requirements arise naturally, (ii) machine learning ","authors_text":"Eleonora Giunchiglia, Fergus Imrie, Mihaela van der Schaar, Thomas Lukasiewicz","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-07T14:47:13Z","title":"Machine Learning with Requirements: a Manifesto"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03674","kind":"arxiv","version":2},"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:2f90b91d6cc231529df510a82a61de19c08388dc5706fc6ea24d90a74d77ae08","target":"record","created_at":"2026-07-05T07:40:40Z","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":"9ad050bef1e1b989f9f1b150df4892a99ebcdbf10b7e2362eb47b17ff2476f57","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-04-07T14:47:13Z","title_canon_sha256":"82c2406efb671457b7110cf9871c91c3d428bcaf1a1259682ff9790d99b0465e"},"schema_version":"1.0","source":{"id":"2304.03674","kind":"arxiv","version":2}},"canonical_sha256":"3be73cb56502c3414fb91378126c2d55d92a2487e9dde9a329dae05ca8a7bdc4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3be73cb56502c3414fb91378126c2d55d92a2487e9dde9a329dae05ca8a7bdc4","first_computed_at":"2026-07-05T07:40:40.394144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:40:40.394144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3RYxHfDAwB3cRJ8Rult8x+F81f6V+ZUO0gV8IGv9G3I/Dp4Wuo2aAoGkwpChtE2ubp2RCrHdkW29Tij6ps09Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:40:40.394623Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.03674","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f90b91d6cc231529df510a82a61de19c08388dc5706fc6ea24d90a74d77ae08","sha256:765c8430a0118cb48f34577849e44ffed01bcbac99e338c448bcba64770fab2f"],"state_sha256":"6b324067a61f654788fd2c7c750852d10ec1c2a85d190f61f157012f1b1c335c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EmX8feg/qovVX3KtGHnWWRwkThA4kN2ASWg1Rr2GrVOkN5Sx89DC8dqcjfhIQVLL45A/VzUsnuBMyEZe6DpKCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:54:33.501470Z","bundle_sha256":"84ce98ddc9b48c703c902220d4b83dc7191daf9137f63e4e3d52eb4de42d8c4c"}}