{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YYSGT7C3VHCYXTGBRJEZJH3BIX","short_pith_number":"pith:YYSGT7C3","canonical_record":{"source":{"id":"2310.15164","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-10-23T17:58:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8e12b8df78e81b5e2a731d0b622ba03f5d8c3021b79254935cfa3e40590d9a07","abstract_canon_sha256":"8c630afd9b5b79d6f4fd3e3ef2de5348b34f635b0ad6ac3a7aa552116def4f66"},"schema_version":"1.0"},"canonical_sha256":"c62469fc5ba9c58bccc18a49949f6145c9e770844d14cb67eb62fd9f8c64753f","source":{"kind":"arxiv","id":"2310.15164","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.15164","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"arxiv_version","alias_value":"2310.15164v2","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.15164","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_12","alias_value":"YYSGT7C3VHCY","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_16","alias_value":"YYSGT7C3VHCYXTGB","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_8","alias_value":"YYSGT7C3","created_at":"2026-07-05T07:44:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YYSGT7C3VHCYXTGBRJEZJH3BIX","target":"record","payload":{"canonical_record":{"source":{"id":"2310.15164","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-10-23T17:58:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8e12b8df78e81b5e2a731d0b622ba03f5d8c3021b79254935cfa3e40590d9a07","abstract_canon_sha256":"8c630afd9b5b79d6f4fd3e3ef2de5348b34f635b0ad6ac3a7aa552116def4f66"},"schema_version":"1.0"},"canonical_sha256":"c62469fc5ba9c58bccc18a49949f6145c9e770844d14cb67eb62fd9f8c64753f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:44:57.258865Z","signature_b64":"pirc1PMLUSu0ljFtQJg3iRYLsH9R8A/DpcPpiWqKFDWgqufHgXLSrd7JUMdk9VkonwZitfjx4qBwKdeaxIi4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c62469fc5ba9c58bccc18a49949f6145c9e770844d14cb67eb62fd9f8c64753f","last_reissued_at":"2026-07-05T07:44:57.258405Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:44:57.258405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.15164","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-05T07:44:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QVKVJYtkkrPepaYc56IkX8gDemiy0ugXAhlgNbLYS8w6qclBiPPZsuElS2SRgj7wuGzDDHBIePgETUddBbsNAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:28:59.425043Z"},"content_sha256":"8ff1aa1755fe0cea145d96d46231a2cd4f4f697b1f4907949bae687334083f3b","schema_version":"1.0","event_id":"sha256:8ff1aa1755fe0cea145d96d46231a2cd4f4f697b1f4907949bae687334083f3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YYSGT7C3VHCYXTGBRJEZJH3BIX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Alex Gu, Armando Solar-Lezama, Benjamin Lipkin, Cedegao E. Zhang, Joshua B. Tenenbaum, Roger Levy, Theo X. Olausson","submitted_at":"2023-10-23T17:58:40Z","abstract_excerpt":"Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts on science, mathematics, and society. While many prompting-based strategies have been proposed to enable Large Language Models (LLMs) to do such reasoning more effectively, they still appear unsatisfactory, often failing in subtle and unpredictable ways. In this work, we investigate the validity of instead reformulating such tasks as modular neurosymbolic programming, which we call LINC: Logical Inference via Neurosy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.15164","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/2310.15164/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-05T07:44:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kG2tZh+bnjuwqkcVLtKFN81HnCQbLB4RHaJV20v9tGMR94fHPuN8HsLRnDpzy6MmNoYxJA810eSw/8L/KSfkBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:28:59.425669Z"},"content_sha256":"27050dc7e7efef38edea3ce248631a7e0bfaed2e5a8290b0b1a2e20155d90b23","schema_version":"1.0","event_id":"sha256:27050dc7e7efef38edea3ce248631a7e0bfaed2e5a8290b0b1a2e20155d90b23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/bundle.json","state_url":"https://pith.science/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/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-21T04:28:59Z","links":{"resolver":"https://pith.science/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX","bundle":"https://pith.science/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/bundle.json","state":"https://pith.science/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YYSGT7C3VHCYXTGBRJEZJH3BIX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YYSGT7C3VHCYXTGBRJEZJH3BIX","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":"8c630afd9b5b79d6f4fd3e3ef2de5348b34f635b0ad6ac3a7aa552116def4f66","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-10-23T17:58:40Z","title_canon_sha256":"8e12b8df78e81b5e2a731d0b622ba03f5d8c3021b79254935cfa3e40590d9a07"},"schema_version":"1.0","source":{"id":"2310.15164","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.15164","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"arxiv_version","alias_value":"2310.15164v2","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.15164","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_12","alias_value":"YYSGT7C3VHCY","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_16","alias_value":"YYSGT7C3VHCYXTGB","created_at":"2026-07-05T07:44:57Z"},{"alias_kind":"pith_short_8","alias_value":"YYSGT7C3","created_at":"2026-07-05T07:44:57Z"}],"graph_snapshots":[{"event_id":"sha256:27050dc7e7efef38edea3ce248631a7e0bfaed2e5a8290b0b1a2e20155d90b23","target":"graph","created_at":"2026-07-05T07:44:57Z","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/2310.15164/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts on science, mathematics, and society. While many prompting-based strategies have been proposed to enable Large Language Models (LLMs) to do such reasoning more effectively, they still appear unsatisfactory, often failing in subtle and unpredictable ways. In this work, we investigate the validity of instead reformulating such tasks as modular neurosymbolic programming, which we call LINC: Logical Inference via Neurosy","authors_text":"Alex Gu, Armando Solar-Lezama, Benjamin Lipkin, Cedegao E. Zhang, Joshua B. Tenenbaum, Roger Levy, Theo X. Olausson","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-10-23T17:58:40Z","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.15164","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:8ff1aa1755fe0cea145d96d46231a2cd4f4f697b1f4907949bae687334083f3b","target":"record","created_at":"2026-07-05T07:44:57Z","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":"8c630afd9b5b79d6f4fd3e3ef2de5348b34f635b0ad6ac3a7aa552116def4f66","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-10-23T17:58:40Z","title_canon_sha256":"8e12b8df78e81b5e2a731d0b622ba03f5d8c3021b79254935cfa3e40590d9a07"},"schema_version":"1.0","source":{"id":"2310.15164","kind":"arxiv","version":2}},"canonical_sha256":"c62469fc5ba9c58bccc18a49949f6145c9e770844d14cb67eb62fd9f8c64753f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c62469fc5ba9c58bccc18a49949f6145c9e770844d14cb67eb62fd9f8c64753f","first_computed_at":"2026-07-05T07:44:57.258405Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:44:57.258405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pirc1PMLUSu0ljFtQJg3iRYLsH9R8A/DpcPpiWqKFDWgqufHgXLSrd7JUMdk9VkonwZitfjx4qBwKdeaxIi4DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:44:57.258865Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.15164","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ff1aa1755fe0cea145d96d46231a2cd4f4f697b1f4907949bae687334083f3b","sha256:27050dc7e7efef38edea3ce248631a7e0bfaed2e5a8290b0b1a2e20155d90b23"],"state_sha256":"f1a7bea40044c6636f283bfa39ab30d9f382c063dc22de8d88523b26a772a6ab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Izg3SoZtEgFyE2e1S3s+/QhfmOcbRXMoqBHBPpoDaoU16DeN6zZ1rY85kr6ZbJU41R8k+JyO8PULCFSn+/VrBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T04:28:59.430165Z","bundle_sha256":"b2ba34b7f3325b7a92192a2fd1c135af6a09a37c42ba8670646559a5baeee4b3"}}