{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Y7AQFQDR72M36KE4EARQCU3J7A","short_pith_number":"pith:Y7AQFQDR","canonical_record":{"source":{"id":"2508.15750","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-21T17:49:16Z","cross_cats_sorted":[],"title_canon_sha256":"babc3e448043ad5ad4f5039f90d7f9b084956ed6d994bb95d11fadf1fd81347c","abstract_canon_sha256":"511fc77be2b2d9d7e2e338aa8e0a860b2becfa67ffeaee120f3404be48aae056"},"schema_version":"1.0"},"canonical_sha256":"c7c102c071fe99bf289c2023015369f82f208ffc8d41cab3767f81c8c70ec0d0","source":{"kind":"arxiv","id":"2508.15750","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15750","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15750v2","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15750","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_12","alias_value":"Y7AQFQDR72M3","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_16","alias_value":"Y7AQFQDR72M36KE4","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_8","alias_value":"Y7AQFQDR","created_at":"2026-07-05T12:01:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Y7AQFQDR72M36KE4EARQCU3J7A","target":"record","payload":{"canonical_record":{"source":{"id":"2508.15750","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-21T17:49:16Z","cross_cats_sorted":[],"title_canon_sha256":"babc3e448043ad5ad4f5039f90d7f9b084956ed6d994bb95d11fadf1fd81347c","abstract_canon_sha256":"511fc77be2b2d9d7e2e338aa8e0a860b2becfa67ffeaee120f3404be48aae056"},"schema_version":"1.0"},"canonical_sha256":"c7c102c071fe99bf289c2023015369f82f208ffc8d41cab3767f81c8c70ec0d0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:01:25.826939Z","signature_b64":"K7EGim6uVZc9YIaSM29YUFoby3Wdqf4Rho8l8ATvIsywXmEdzOY2TC9tG69rXAb+lVU/HWucaxvRq2nTaV41BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7c102c071fe99bf289c2023015369f82f208ffc8d41cab3767f81c8c70ec0d0","last_reissued_at":"2026-07-05T12:01:25.826416Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:01:25.826416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.15750","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-05T12:01:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PLwX+x8JJn4UzRFuRKgndXbyuMoN2FAobsgXD9VpWpDthU8Hwzl3rrMB6YPpnLjqHDpz8rppcc+euB1RfMoiBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:48:25.056337Z"},"content_sha256":"58a76ff8e67c5e801beecae60a9d5ac9a93a8333d31282c2a1dea700b7a60789","schema_version":"1.0","event_id":"sha256:58a76ff8e67c5e801beecae60a9d5ac9a93a8333d31282c2a1dea700b7a60789"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Y7AQFQDR72M36KE4EARQCU3J7A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Active Learning for Neurosymbolic Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Celeste Barnaby, Isil Dillig, Osbert Bastani, Qiaochu Chen, Ramya Ramalingam","submitted_at":"2025-08-21T17:49:16Z","abstract_excerpt":"The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored active learning in the purely symbolic setting, such techniques are inadequate for the increasingly popular paradigm of neurosymbolic program synthesis, where the synthesized program incorporates neural components. When applied to the neurosymbolic setting, such techniques can -- and, in practice, do -- return an unintended program due to mispredictions of neural components. This paper proposes a new active learning te"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15750","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/2508.15750/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-05T12:01:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/VjRYqGiIYce8fPr3ZP3fVBNLzBnparPKaTSqS/sHhVu4homp65jTkp1yNTmqER6IkD6/sWr3X1FpMmhwtfOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:48:25.056707Z"},"content_sha256":"f6583c3c7341b96bc2dfaffb22c5651123cdd3bcbb59f8f93ab305e1005dfd9a","schema_version":"1.0","event_id":"sha256:f6583c3c7341b96bc2dfaffb22c5651123cdd3bcbb59f8f93ab305e1005dfd9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y7AQFQDR72M36KE4EARQCU3J7A/bundle.json","state_url":"https://pith.science/pith/Y7AQFQDR72M36KE4EARQCU3J7A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y7AQFQDR72M36KE4EARQCU3J7A/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-07T08:48:25Z","links":{"resolver":"https://pith.science/pith/Y7AQFQDR72M36KE4EARQCU3J7A","bundle":"https://pith.science/pith/Y7AQFQDR72M36KE4EARQCU3J7A/bundle.json","state":"https://pith.science/pith/Y7AQFQDR72M36KE4EARQCU3J7A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y7AQFQDR72M36KE4EARQCU3J7A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Y7AQFQDR72M36KE4EARQCU3J7A","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":"511fc77be2b2d9d7e2e338aa8e0a860b2becfa67ffeaee120f3404be48aae056","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-21T17:49:16Z","title_canon_sha256":"babc3e448043ad5ad4f5039f90d7f9b084956ed6d994bb95d11fadf1fd81347c"},"schema_version":"1.0","source":{"id":"2508.15750","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15750","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15750v2","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15750","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_12","alias_value":"Y7AQFQDR72M3","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_16","alias_value":"Y7AQFQDR72M36KE4","created_at":"2026-07-05T12:01:25Z"},{"alias_kind":"pith_short_8","alias_value":"Y7AQFQDR","created_at":"2026-07-05T12:01:25Z"}],"graph_snapshots":[{"event_id":"sha256:f6583c3c7341b96bc2dfaffb22c5651123cdd3bcbb59f8f93ab305e1005dfd9a","target":"graph","created_at":"2026-07-05T12:01: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/2508.15750/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored active learning in the purely symbolic setting, such techniques are inadequate for the increasingly popular paradigm of neurosymbolic program synthesis, where the synthesized program incorporates neural components. When applied to the neurosymbolic setting, such techniques can -- and, in practice, do -- return an unintended program due to mispredictions of neural components. This paper proposes a new active learning te","authors_text":"Celeste Barnaby, Isil Dillig, Osbert Bastani, Qiaochu Chen, Ramya Ramalingam","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-21T17:49:16Z","title":"Active Learning for Neurosymbolic Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15750","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:58a76ff8e67c5e801beecae60a9d5ac9a93a8333d31282c2a1dea700b7a60789","target":"record","created_at":"2026-07-05T12:01: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":"511fc77be2b2d9d7e2e338aa8e0a860b2becfa67ffeaee120f3404be48aae056","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-21T17:49:16Z","title_canon_sha256":"babc3e448043ad5ad4f5039f90d7f9b084956ed6d994bb95d11fadf1fd81347c"},"schema_version":"1.0","source":{"id":"2508.15750","kind":"arxiv","version":2}},"canonical_sha256":"c7c102c071fe99bf289c2023015369f82f208ffc8d41cab3767f81c8c70ec0d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7c102c071fe99bf289c2023015369f82f208ffc8d41cab3767f81c8c70ec0d0","first_computed_at":"2026-07-05T12:01:25.826416Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:25.826416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K7EGim6uVZc9YIaSM29YUFoby3Wdqf4Rho8l8ATvIsywXmEdzOY2TC9tG69rXAb+lVU/HWucaxvRq2nTaV41BA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:25.826939Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.15750","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58a76ff8e67c5e801beecae60a9d5ac9a93a8333d31282c2a1dea700b7a60789","sha256:f6583c3c7341b96bc2dfaffb22c5651123cdd3bcbb59f8f93ab305e1005dfd9a"],"state_sha256":"ca84c6549536563fb2fcdb6cdaca92942387481011774d5144c51965dc468af9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LAEnFMJNxP32M8gHKGbgRPdw8i926zTwZUOj5uqnxeFUxrW/ZY2n0BQVFhYQjv2ROR3VZMRteDQexl0Ejd0oDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T08:48:25.058603Z","bundle_sha256":"57f33019b0f70c3329816a6dcc8432c9080b48115e39f873aab5889a62296551"}}