{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:NBQV6WJGG5D22G6DGJJ2TVIQYA","short_pith_number":"pith:NBQV6WJG","canonical_record":{"source":{"id":"2305.03742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-05T07:24:46Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"35c3f281550b8c31a347cb5c84e888bf22212264bc31ec00c3cf152b7583a8d1","abstract_canon_sha256":"e47133afd06f3c144f37ad893c07004c24cb028ec5abbabd2580fb598f7c166d"},"schema_version":"1.0"},"canonical_sha256":"68615f59263747ad1bc33253a9d510c02484f4468d2f74330c2ebc53c5d4e885","source":{"kind":"arxiv","id":"2305.03742","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.03742","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"arxiv_version","alias_value":"2305.03742v1","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.03742","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_12","alias_value":"NBQV6WJGG5D2","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_16","alias_value":"NBQV6WJGG5D22G6D","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_8","alias_value":"NBQV6WJG","created_at":"2026-07-05T06:07:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:NBQV6WJGG5D22G6DGJJ2TVIQYA","target":"record","payload":{"canonical_record":{"source":{"id":"2305.03742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-05T07:24:46Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"35c3f281550b8c31a347cb5c84e888bf22212264bc31ec00c3cf152b7583a8d1","abstract_canon_sha256":"e47133afd06f3c144f37ad893c07004c24cb028ec5abbabd2580fb598f7c166d"},"schema_version":"1.0"},"canonical_sha256":"68615f59263747ad1bc33253a9d510c02484f4468d2f74330c2ebc53c5d4e885","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:07:40.499727Z","signature_b64":"hkCXzPFv/ffA6C9LgfEivt01mQlBxUhlA7RwNkv8WIqyiPcDRMSwJxqqdpeowNgGnMK/OoazChygycz8S8AfDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68615f59263747ad1bc33253a9d510c02484f4468d2f74330c2ebc53c5d4e885","last_reissued_at":"2026-07-05T06:07:40.499355Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:07:40.499355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.03742","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-05T06:07:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KzWIcEjlCp46vDuxvciMqJQePtXTwokgqK6yGZf7fTnG6NFXt+Hhia0UPg2iRJPTPxX2sx7HLLZxhC9zCVV6Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:15:41.087297Z"},"content_sha256":"960e7d6cacac471ce309b2da9841abb1fd8708104c63cb120e9ce751d696e7cd","schema_version":"1.0","event_id":"sha256:960e7d6cacac471ce309b2da9841abb1fd8708104c63cb120e9ce751d696e7cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:NBQV6WJGG5D22G6DGJJ2TVIQYA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL","cs.LG"],"primary_cat":"cs.AI","authors_text":"Eric Xing, Hanlin Zhang, Jiani Huang, Mayur Naik, Ziyang Li","submitted_at":"2023-05-05T07:24:46Z","abstract_excerpt":"Pre-trained large language models (LMs) struggle to perform logical reasoning reliably despite advances in scale and compositionality. In this work, we tackle this challenge through the lens of symbolic programming. We propose DSR-LM, a Differentiable Symbolic Reasoning framework where pre-trained LMs govern the perception of factual knowledge, and a symbolic module performs deductive reasoning. In contrast to works that rely on hand-crafted logic rules, our differentiable symbolic reasoning framework efficiently learns weighted rules and applies semantic loss to further improve LMs. DSR-LM is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.03742","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/2305.03742/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-05T06:07:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3nDgIH/U3NEvXEx0l3zLVCbXk8Bmhcla0BwG7mPb1z+llPdyoO9UwWMxDVYWQDHnc6R0ZP+kw09G0WYLtpJ2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:15:41.088172Z"},"content_sha256":"24edb4d0b9ccb08b283a644a3de5842a91390277db618fc44312edcb791d3c19","schema_version":"1.0","event_id":"sha256:24edb4d0b9ccb08b283a644a3de5842a91390277db618fc44312edcb791d3c19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/bundle.json","state_url":"https://pith.science/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/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-09T14:15:41Z","links":{"resolver":"https://pith.science/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA","bundle":"https://pith.science/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/bundle.json","state":"https://pith.science/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NBQV6WJGG5D22G6DGJJ2TVIQYA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NBQV6WJGG5D22G6DGJJ2TVIQYA","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":"e47133afd06f3c144f37ad893c07004c24cb028ec5abbabd2580fb598f7c166d","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-05T07:24:46Z","title_canon_sha256":"35c3f281550b8c31a347cb5c84e888bf22212264bc31ec00c3cf152b7583a8d1"},"schema_version":"1.0","source":{"id":"2305.03742","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.03742","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"arxiv_version","alias_value":"2305.03742v1","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.03742","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_12","alias_value":"NBQV6WJGG5D2","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_16","alias_value":"NBQV6WJGG5D22G6D","created_at":"2026-07-05T06:07:40Z"},{"alias_kind":"pith_short_8","alias_value":"NBQV6WJG","created_at":"2026-07-05T06:07:40Z"}],"graph_snapshots":[{"event_id":"sha256:24edb4d0b9ccb08b283a644a3de5842a91390277db618fc44312edcb791d3c19","target":"graph","created_at":"2026-07-05T06:07:40Z","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/2305.03742/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Pre-trained large language models (LMs) struggle to perform logical reasoning reliably despite advances in scale and compositionality. In this work, we tackle this challenge through the lens of symbolic programming. We propose DSR-LM, a Differentiable Symbolic Reasoning framework where pre-trained LMs govern the perception of factual knowledge, and a symbolic module performs deductive reasoning. In contrast to works that rely on hand-crafted logic rules, our differentiable symbolic reasoning framework efficiently learns weighted rules and applies semantic loss to further improve LMs. DSR-LM is","authors_text":"Eric Xing, Hanlin Zhang, Jiani Huang, Mayur Naik, Ziyang Li","cross_cats":["cs.CL","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-05T07:24:46Z","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.03742","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:960e7d6cacac471ce309b2da9841abb1fd8708104c63cb120e9ce751d696e7cd","target":"record","created_at":"2026-07-05T06:07:40Z","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":"e47133afd06f3c144f37ad893c07004c24cb028ec5abbabd2580fb598f7c166d","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-05T07:24:46Z","title_canon_sha256":"35c3f281550b8c31a347cb5c84e888bf22212264bc31ec00c3cf152b7583a8d1"},"schema_version":"1.0","source":{"id":"2305.03742","kind":"arxiv","version":1}},"canonical_sha256":"68615f59263747ad1bc33253a9d510c02484f4468d2f74330c2ebc53c5d4e885","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"68615f59263747ad1bc33253a9d510c02484f4468d2f74330c2ebc53c5d4e885","first_computed_at":"2026-07-05T06:07:40.499355Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:07:40.499355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hkCXzPFv/ffA6C9LgfEivt01mQlBxUhlA7RwNkv8WIqyiPcDRMSwJxqqdpeowNgGnMK/OoazChygycz8S8AfDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:07:40.499727Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.03742","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:960e7d6cacac471ce309b2da9841abb1fd8708104c63cb120e9ce751d696e7cd","sha256:24edb4d0b9ccb08b283a644a3de5842a91390277db618fc44312edcb791d3c19"],"state_sha256":"564509bdbb367710d2ef2e30aff825b2c5b8346d8978655ed7db07c9ace0c5cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dIIqed4H+zcY+vQIegVXeBx2t7QQUCBKdc2LYidTZpRXHtM/VlhhMfGP3hrnBO3GH7s7f4uDverWZOS+uOHbCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T14:15:41.093438Z","bundle_sha256":"4668af2e2f1d557983e3253df0506e9f0b73d52fc84fced026c523215d5ccd88"}}