{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TW7CS77J4BJMY4OJWAHDOPFCON","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":"8e9bf26f7b996d66de795bfc66b58593c1981f3efcdde21478c0d8d85d80f3e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-10T13:23:00Z","title_canon_sha256":"d8bf0431d5a5211db9048df8a3a64d2bf4d3cb081e86118a6bfb69ec51c8ae05"},"schema_version":"1.0","source":{"id":"2406.06246","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.06246","created_at":"2026-07-05T09:29:14Z"},{"alias_kind":"arxiv_version","alias_value":"2406.06246v2","created_at":"2026-07-05T09:29:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.06246","created_at":"2026-07-05T09:29:14Z"},{"alias_kind":"pith_short_12","alias_value":"TW7CS77J4BJM","created_at":"2026-07-05T09:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"TW7CS77J4BJMY4OJ","created_at":"2026-07-05T09:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"TW7CS77J","created_at":"2026-07-05T09:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:fdabea25140fd65f3ec666d633a67115acb2699244e745643bf26455604b0e12","target":"graph","created_at":"2026-07-05T09:29:14Z","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/2406.06246/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many computational tasks can be naturally expressed as a composition of a DNN followed by a program written in a traditional programming language or an API call to an LLM. We call such composites \"neural programs\" and focus on the problem of learning the DNN parameters when the training data consist of end-to-end input-output labels for the composite. When the program is written in a differentiable logic programming language, techniques from neurosymbolic learning are applicable, but in general, the learning for neural programs requires estimating the gradients of black-box components. We pres","authors_text":"Alaia Solko-Breslin, Eric Wong, Mayur Naik, Neelay Velingker, Rajeev Alur, Seewon Choi, Ziyang Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-10T13:23:00Z","title":"Data-Efficient Learning with Neural Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.06246","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:5a3235e3f50c0344f810e38119467fc9adc750ae65249871041f88e8e63487da","target":"record","created_at":"2026-07-05T09:29:14Z","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":"8e9bf26f7b996d66de795bfc66b58593c1981f3efcdde21478c0d8d85d80f3e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-10T13:23:00Z","title_canon_sha256":"d8bf0431d5a5211db9048df8a3a64d2bf4d3cb081e86118a6bfb69ec51c8ae05"},"schema_version":"1.0","source":{"id":"2406.06246","kind":"arxiv","version":2}},"canonical_sha256":"9dbe297fe9e052cc71c9b00e373ca2734b0e287ad2d9a544bab77ac46169d4e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dbe297fe9e052cc71c9b00e373ca2734b0e287ad2d9a544bab77ac46169d4e0","first_computed_at":"2026-07-05T09:29:14.817671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:14.817671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UpYfu+Vqjk75GH+uQ+7JD06D0d6/0q1YOGu6K2j4iow5j6TVbEbLjYlDSVgrEAkJi9+z6p3W99FfuvndChzBCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:14.818163Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.06246","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a3235e3f50c0344f810e38119467fc9adc750ae65249871041f88e8e63487da","sha256:fdabea25140fd65f3ec666d633a67115acb2699244e745643bf26455604b0e12"],"state_sha256":"2eac7fe0e97606e88c0fbcf56370532fc03173268f7e48ff626775f9ab648f43"}