{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:2JDTV2JJI7RZYIQUMA4P4V5LPB","short_pith_number":"pith:2JDTV2JJ","canonical_record":{"source":{"id":"2202.02429","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-02-04T23:13:22Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f3249a14bd27e96803e96664673bd2a4fce742c182b803cabe7cf2431ab5a64c","abstract_canon_sha256":"c8ce98baba75d24236e5bdb778a0480952cd195a4c346619cd0a90e1a6a82225"},"schema_version":"1.0"},"canonical_sha256":"d2473ae92947e39c22146038fe57ab78564cfb69b9c90997cbed89bbb68a0ef9","source":{"kind":"arxiv","id":"2202.02429","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.02429","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"arxiv_version","alias_value":"2202.02429v2","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.02429","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_12","alias_value":"2JDTV2JJI7RZ","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_16","alias_value":"2JDTV2JJI7RZYIQU","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_8","alias_value":"2JDTV2JJ","created_at":"2026-07-05T05:30:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:2JDTV2JJI7RZYIQUMA4P4V5LPB","target":"record","payload":{"canonical_record":{"source":{"id":"2202.02429","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-02-04T23:13:22Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f3249a14bd27e96803e96664673bd2a4fce742c182b803cabe7cf2431ab5a64c","abstract_canon_sha256":"c8ce98baba75d24236e5bdb778a0480952cd195a4c346619cd0a90e1a6a82225"},"schema_version":"1.0"},"canonical_sha256":"d2473ae92947e39c22146038fe57ab78564cfb69b9c90997cbed89bbb68a0ef9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:30:42.124722Z","signature_b64":"a5GGwrrZrIg0A83aqH+t9wM7c1nSH6v5JZ0IC+JKCxg/bNM0ENMu4CWo7hcwhs06fG0BHF4aOjhZONvc0zlPBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2473ae92947e39c22146038fe57ab78564cfb69b9c90997cbed89bbb68a0ef9","last_reissued_at":"2026-07-05T05:30:42.124219Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:30:42.124219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2202.02429","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-05T05:30:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UO0i4zyQPWNKk90ZqMqZxftCPYkv5x1F9aFbci4omT/MhQeDDsZ6wPKYiiflh6ZQViZDthMQY4UDQp+X7QbhDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T09:15:06.603506Z"},"content_sha256":"fec1de9f26a0a92b9ef26b5b1380a5bdc51bae99c78189df3d280db86ac918de","schema_version":"1.0","event_id":"sha256:fec1de9f26a0a92b9ef26b5b1380a5bdc51bae99c78189df3d280db86ac918de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:2JDTV2JJI7RZYIQUMA4P4V5LPB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Inverse Model Neural Networks","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Anthony Corso, Chelsea Sidrane, Mykel J. Kochenderfer, Sydney Katz","submitted_at":"2022-02-04T23:13:22Z","abstract_excerpt":"Inverse problems exist in a wide variety of physical domains from aerospace engineering to medical imaging. The goal is to infer the underlying state from a set of observations. When the forward model that produced the observations is nonlinear and stochastic, solving the inverse problem is very challenging. Neural networks are an appealing solution for solving inverse problems as they can be trained from noisy data and once trained are computationally efficient to run. However, inverse model neural networks do not have guarantees of correctness built-in, which makes them unreliable for use in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.02429","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/2202.02429/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-05T05:30:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FewOQDDzuvjB87Eyy8vadspKeYjOld8g9Z+zobWmlBM3ii4X/+K9Dvk980koo2j0bo9rnprHYlM3nXj+qo/mDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T09:15:06.604349Z"},"content_sha256":"43017922f853f4c5080cd5accbabdeac55f3891d9feae04c5f26bcfb5de70fe2","schema_version":"1.0","event_id":"sha256:43017922f853f4c5080cd5accbabdeac55f3891d9feae04c5f26bcfb5de70fe2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/bundle.json","state_url":"https://pith.science/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/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-19T09:15:06Z","links":{"resolver":"https://pith.science/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB","bundle":"https://pith.science/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/bundle.json","state":"https://pith.science/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2JDTV2JJI7RZYIQUMA4P4V5LPB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:2JDTV2JJI7RZYIQUMA4P4V5LPB","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":"c8ce98baba75d24236e5bdb778a0480952cd195a4c346619cd0a90e1a6a82225","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-02-04T23:13:22Z","title_canon_sha256":"f3249a14bd27e96803e96664673bd2a4fce742c182b803cabe7cf2431ab5a64c"},"schema_version":"1.0","source":{"id":"2202.02429","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.02429","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"arxiv_version","alias_value":"2202.02429v2","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.02429","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_12","alias_value":"2JDTV2JJI7RZ","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_16","alias_value":"2JDTV2JJI7RZYIQU","created_at":"2026-07-05T05:30:42Z"},{"alias_kind":"pith_short_8","alias_value":"2JDTV2JJ","created_at":"2026-07-05T05:30:42Z"}],"graph_snapshots":[{"event_id":"sha256:43017922f853f4c5080cd5accbabdeac55f3891d9feae04c5f26bcfb5de70fe2","target":"graph","created_at":"2026-07-05T05:30: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/2202.02429/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Inverse problems exist in a wide variety of physical domains from aerospace engineering to medical imaging. The goal is to infer the underlying state from a set of observations. When the forward model that produced the observations is nonlinear and stochastic, solving the inverse problem is very challenging. Neural networks are an appealing solution for solving inverse problems as they can be trained from noisy data and once trained are computationally efficient to run. However, inverse model neural networks do not have guarantees of correctness built-in, which makes them unreliable for use in","authors_text":"Anthony Corso, Chelsea Sidrane, Mykel J. Kochenderfer, Sydney Katz","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-02-04T23:13:22Z","title":"Verifying Inverse Model Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.02429","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:fec1de9f26a0a92b9ef26b5b1380a5bdc51bae99c78189df3d280db86ac918de","target":"record","created_at":"2026-07-05T05:30: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":"c8ce98baba75d24236e5bdb778a0480952cd195a4c346619cd0a90e1a6a82225","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2022-02-04T23:13:22Z","title_canon_sha256":"f3249a14bd27e96803e96664673bd2a4fce742c182b803cabe7cf2431ab5a64c"},"schema_version":"1.0","source":{"id":"2202.02429","kind":"arxiv","version":2}},"canonical_sha256":"d2473ae92947e39c22146038fe57ab78564cfb69b9c90997cbed89bbb68a0ef9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2473ae92947e39c22146038fe57ab78564cfb69b9c90997cbed89bbb68a0ef9","first_computed_at":"2026-07-05T05:30:42.124219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:30:42.124219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a5GGwrrZrIg0A83aqH+t9wM7c1nSH6v5JZ0IC+JKCxg/bNM0ENMu4CWo7hcwhs06fG0BHF4aOjhZONvc0zlPBw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:30:42.124722Z","signed_message":"canonical_sha256_bytes"},"source_id":"2202.02429","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fec1de9f26a0a92b9ef26b5b1380a5bdc51bae99c78189df3d280db86ac918de","sha256:43017922f853f4c5080cd5accbabdeac55f3891d9feae04c5f26bcfb5de70fe2"],"state_sha256":"a76c5f2b12984d1899cc06a293ea5c3015602828d2c329e431a2d4fce41e8fc3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RYNn0vQHThFedlyGSOJF0mnIZOPuSHBsqnbJ/rGMY9JGySWh0MKrYKRTwJTJtbGJaylJmZaZeO9tr/LjdkqcAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T09:15:06.611241Z","bundle_sha256":"009cab5d7181c1b458c74947e7a24e610759cd2732105dbfa72d85060fdd307c"}}