{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:UQLMIQTD2OD2ZEGZ3SYDBJFDK7","short_pith_number":"pith:UQLMIQTD","canonical_record":{"source":{"id":"2411.14163","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T14:22:32Z","cross_cats_sorted":["cs.CV","cs.LG"],"title_canon_sha256":"95a41b1c7e3316911b1c60e02d892572f6070edf3c9c3a8bbf59ce215fdd32d2","abstract_canon_sha256":"524462fe068366a4cb3ab0f7b739f00c83ebc198569c178b11d64028cf581765"},"schema_version":"1.0"},"canonical_sha256":"a416c44263d387ac90d9dcb030a4a357f34d9b96bc5c9fc54a3c96dd6f134807","source":{"kind":"arxiv","id":"2411.14163","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14163","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14163v1","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14163","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_12","alias_value":"UQLMIQTD2OD2","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_16","alias_value":"UQLMIQTD2OD2ZEGZ","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_8","alias_value":"UQLMIQTD","created_at":"2026-07-05T09:38:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:UQLMIQTD2OD2ZEGZ3SYDBJFDK7","target":"record","payload":{"canonical_record":{"source":{"id":"2411.14163","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T14:22:32Z","cross_cats_sorted":["cs.CV","cs.LG"],"title_canon_sha256":"95a41b1c7e3316911b1c60e02d892572f6070edf3c9c3a8bbf59ce215fdd32d2","abstract_canon_sha256":"524462fe068366a4cb3ab0f7b739f00c83ebc198569c178b11d64028cf581765"},"schema_version":"1.0"},"canonical_sha256":"a416c44263d387ac90d9dcb030a4a357f34d9b96bc5c9fc54a3c96dd6f134807","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:42.581161Z","signature_b64":"A5uvyjyLcjMCNPHKqn8s87h2D59SFKaUliDKqxx69y1Fa4KfFTmKOELx8vJDMsKoOJRRAItFfdti8uAhTFYvDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a416c44263d387ac90d9dcb030a4a357f34d9b96bc5c9fc54a3c96dd6f134807","last_reissued_at":"2026-07-05T09:38:42.580791Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:42.580791Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.14163","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-05T09:38:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"08l1h4rh7kLVfTblCkSToBB5nUgHUXI4RUIHjv+RrT2KU67yaQgC1laAeZZi981bH/fRZFbCP7ZP0K8rMeJwAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T00:25:45.346290Z"},"content_sha256":"4195cb7f0b8a8ecea706b0bbeeb0e808d68a887efb9cda78e480b9fcb341ec3a","schema_version":"1.0","event_id":"sha256:4195cb7f0b8a8ecea706b0bbeeb0e808d68a887efb9cda78e480b9fcb341ec3a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:UQLMIQTD2OD2ZEGZ3SYDBJFDK7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","cs.LG"],"primary_cat":"cs.LO","authors_text":"Barak A. Pearlmutter, Medet Inkarbekov, Rosemary Monahan, Syed Ali Asadullah Bukhari, Thomas Flinkow","submitted_at":"2024-11-21T14:22:32Z","abstract_excerpt":"The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification.  In this paper we present an experience report, describing a case study which we undertook to explore the design and training of a neural network on a custom dataset for vision-based autonomous navigation. We are particularly interested in the use of machine learning with differentiable logics to obtain networks satisfying basic safety properties by design, guaranteeing the behaviour of the neural network after training. We motivate the choice of a suitable neural network verifier f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14163","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/2411.14163/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-05T09:38:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mUCssrhc2W3glK5ghF210OBWyPqAHnncyS+ebxgOo58bfZ889hj/SP95NfEioiAzPwTaRoV4vvbTubRPpNYkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T00:25:45.346821Z"},"content_sha256":"34d7ce27da6bf42c9ed728a47fcb7aece268c83767b43d03e9c786592213fd7f","schema_version":"1.0","event_id":"sha256:34d7ce27da6bf42c9ed728a47fcb7aece268c83767b43d03e9c786592213fd7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/bundle.json","state_url":"https://pith.science/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/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-13T00:25:45Z","links":{"resolver":"https://pith.science/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7","bundle":"https://pith.science/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/bundle.json","state":"https://pith.science/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UQLMIQTD2OD2ZEGZ3SYDBJFDK7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UQLMIQTD2OD2ZEGZ3SYDBJFDK7","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":"524462fe068366a4cb3ab0f7b739f00c83ebc198569c178b11d64028cf581765","cross_cats_sorted":["cs.CV","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T14:22:32Z","title_canon_sha256":"95a41b1c7e3316911b1c60e02d892572f6070edf3c9c3a8bbf59ce215fdd32d2"},"schema_version":"1.0","source":{"id":"2411.14163","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14163","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14163v1","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14163","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_12","alias_value":"UQLMIQTD2OD2","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_16","alias_value":"UQLMIQTD2OD2ZEGZ","created_at":"2026-07-05T09:38:42Z"},{"alias_kind":"pith_short_8","alias_value":"UQLMIQTD","created_at":"2026-07-05T09:38:42Z"}],"graph_snapshots":[{"event_id":"sha256:34d7ce27da6bf42c9ed728a47fcb7aece268c83767b43d03e9c786592213fd7f","target":"graph","created_at":"2026-07-05T09:38:42Z","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/2411.14163/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification.  In this paper we present an experience report, describing a case study which we undertook to explore the design and training of a neural network on a custom dataset for vision-based autonomous navigation. We are particularly interested in the use of machine learning with differentiable logics to obtain networks satisfying basic safety properties by design, guaranteeing the behaviour of the neural network after training. We motivate the choice of a suitable neural network verifier f","authors_text":"Barak A. Pearlmutter, Medet Inkarbekov, Rosemary Monahan, Syed Ali Asadullah Bukhari, Thomas Flinkow","cross_cats":["cs.CV","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14163","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:4195cb7f0b8a8ecea706b0bbeeb0e808d68a887efb9cda78e480b9fcb341ec3a","target":"record","created_at":"2026-07-05T09:38:42Z","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":"524462fe068366a4cb3ab0f7b739f00c83ebc198569c178b11d64028cf581765","cross_cats_sorted":["cs.CV","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T14:22:32Z","title_canon_sha256":"95a41b1c7e3316911b1c60e02d892572f6070edf3c9c3a8bbf59ce215fdd32d2"},"schema_version":"1.0","source":{"id":"2411.14163","kind":"arxiv","version":1}},"canonical_sha256":"a416c44263d387ac90d9dcb030a4a357f34d9b96bc5c9fc54a3c96dd6f134807","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a416c44263d387ac90d9dcb030a4a357f34d9b96bc5c9fc54a3c96dd6f134807","first_computed_at":"2026-07-05T09:38:42.580791Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:42.580791Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A5uvyjyLcjMCNPHKqn8s87h2D59SFKaUliDKqxx69y1Fa4KfFTmKOELx8vJDMsKoOJRRAItFfdti8uAhTFYvDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:42.581161Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14163","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4195cb7f0b8a8ecea706b0bbeeb0e808d68a887efb9cda78e480b9fcb341ec3a","sha256:34d7ce27da6bf42c9ed728a47fcb7aece268c83767b43d03e9c786592213fd7f"],"state_sha256":"d1eb824416ef34772635cac0dd505ff36cad141087ec0e53314a65e01fb0a5c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sWuNRzLFkzyjfifCL9QBVr49en1GztveIl+AdaBCLhTZcA1WeN0kgMzfEGWFx+NYPjMhDS4aVDKaTkAQdEPOAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T00:25:45.352449Z","bundle_sha256":"7a40e52288fdc01066a3eb87b9758c7e4a1de742ef92eeca31a3aab01f8981d2"}}