{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:WT7MO7SMPNWO5QP2KR6NG2E3DK","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":"6e69e5bd21b77bf8ba5dc69fd06879ec8a4439dc314ba4a87967a2b8444cd126","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-03-11T01:20:23Z","title_canon_sha256":"8ba094d153fa20e75d9223f2243b6ef4e1d8c402fcdf461133749aaa18fce453"},"schema_version":"1.0","source":{"id":"2203.05704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05704","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05704v1","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05704","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"WT7MO7SMPNWO","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_16","alias_value":"WT7MO7SMPNWO5QP2","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_8","alias_value":"WT7MO7SM","created_at":"2026-07-05T04:04:08Z"}],"graph_snapshots":[{"event_id":"sha256:779fad32ac2e0e9f3b7015e4a092ad9f54a2d58ad1ed5238d1970dd78c30dc43","target":"graph","created_at":"2026-07-05T04:04:08Z","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/2203.05704/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The use of neural networks as function approximators has enabled many advances in reinforcement learning (RL). The generalization power of neural networks combined with advances in RL algorithms has reignited the field of artificial intelligence. Despite their power, neural networks are considered black boxes, and their use in safety-critical settings remains a challenge. Recently, neural network verification has emerged as a way to certify safety properties of networks. Verification is a hard problem, and it is difficult to scale to large networks such as the ones used in deep reinforcement l","authors_text":"Christopher Lazarus, Mykel J. Kochenderfer","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-03-11T01:20:23Z","title":"Deep Binary Reinforcement Learning for Scalable Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05704","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:a928d6e436b4efee3209a7165157e3b205445d634d9b569db3e2e8b92ed70b3c","target":"record","created_at":"2026-07-05T04:04:08Z","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":"6e69e5bd21b77bf8ba5dc69fd06879ec8a4439dc314ba4a87967a2b8444cd126","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-03-11T01:20:23Z","title_canon_sha256":"8ba094d153fa20e75d9223f2243b6ef4e1d8c402fcdf461133749aaa18fce453"},"schema_version":"1.0","source":{"id":"2203.05704","kind":"arxiv","version":1}},"canonical_sha256":"b4fec77e4c7b6ceec1fa547cd3689b1a984fcc656d8b7d06a825effe2fd4cd36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4fec77e4c7b6ceec1fa547cd3689b1a984fcc656d8b7d06a825effe2fd4cd36","first_computed_at":"2026-07-05T04:04:08.465366Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:04:08.465366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FE0pNTGioiOmlnFCx2OGBtvvtBNzlz54Y9+iGp3SvrofG/l+3IhK0uplQ9t5x2Tb02QFsQaWyLipK9yxep1xCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:04:08.465806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.05704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a928d6e436b4efee3209a7165157e3b205445d634d9b569db3e2e8b92ed70b3c","sha256:779fad32ac2e0e9f3b7015e4a092ad9f54a2d58ad1ed5238d1970dd78c30dc43"],"state_sha256":"1bc763f90a10c9051c03a190d92029d7e546a407a3782064d2c1f602ba54ab2d"}