{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PAR64MGJLCBK4PH5SGLPKPIXTM","short_pith_number":"pith:PAR64MGJ","canonical_record":{"source":{"id":"2401.00757","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-01T13:53:53Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"title_canon_sha256":"1bf8e7f5a739c1ab0ad6cd5ca1814cbd25cffdbef4592172faad73d75944da1f","abstract_canon_sha256":"6955d6b58555a9c1268ddf0ad2ba6984c65b046ddab183ecbac4f719c4eb05f6"},"schema_version":"1.0"},"canonical_sha256":"7823ee30c95882ae3cfd9196f53d179b08502c1c36c38c6dc53cb7021741db2b","source":{"kind":"arxiv","id":"2401.00757","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.00757","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"arxiv_version","alias_value":"2401.00757v3","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.00757","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_12","alias_value":"PAR64MGJLCBK","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_16","alias_value":"PAR64MGJLCBK4PH5","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_8","alias_value":"PAR64MGJ","created_at":"2026-07-05T09:17:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PAR64MGJLCBK4PH5SGLPKPIXTM","target":"record","payload":{"canonical_record":{"source":{"id":"2401.00757","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-01T13:53:53Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"title_canon_sha256":"1bf8e7f5a739c1ab0ad6cd5ca1814cbd25cffdbef4592172faad73d75944da1f","abstract_canon_sha256":"6955d6b58555a9c1268ddf0ad2ba6984c65b046ddab183ecbac4f719c4eb05f6"},"schema_version":"1.0"},"canonical_sha256":"7823ee30c95882ae3cfd9196f53d179b08502c1c36c38c6dc53cb7021741db2b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:17:36.286129Z","signature_b64":"P0A5GcpWIqCEgFELzf0Xr0yAncPRRb/wTCMJuc6t0hEG18cc72i0kG86gpqfOMT0j3SXWsqjpSo2bJx3zyKnDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7823ee30c95882ae3cfd9196f53d179b08502c1c36c38c6dc53cb7021741db2b","last_reissued_at":"2026-07-05T09:17:36.285683Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:17:36.285683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.00757","source_version":3,"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-05T09:17:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pyT1US9nlMfUJcmRxqdYpiiI3JhGfH/xdK/SEQOjJlTmJyU+QKHWrSsVLeIDYF8ry/eA+2eVEyIFKmVdg2gzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T05:35:11.055487Z"},"content_sha256":"b3b17a0c89d9163c530e707bf0f10acf479d0b851a477f245d71f0be6971fc89","schema_version":"1.0","event_id":"sha256:b3b17a0c89d9163c530e707bf0f10acf479d0b851a477f245d71f0be6971fc89"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PAR64MGJLCBK4PH5SGLPKPIXTM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.LO"],"primary_cat":"cs.SE","authors_text":"Jen-tse Huang, Michael R. Lyu, Pinjia He, Wenxiang Jiao, Wenxuan Wang, Yiliu Yang, Youliang Yuan, Yuxuan Wan","submitted_at":"2024-01-01T13:53:53Z","abstract_excerpt":"We introduce LogicAsker, a novel approach for evaluating and enhancing the logical reasoning capabilities of large language models (LLMs) such as ChatGPT and GPT-4. Despite LLMs' prowess in tasks like writing assistance, code generation, and machine translation, assessing their ability to reason has been challenging. Traditional evaluations often prioritize accuracy on downstream tasks over direct assessments of reasoning processes. LogicAsker addresses this gap by employing a set of atomic reasoning skills grounded in propositional and predicate logic to systematically examine and improve the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.00757","kind":"arxiv","version":3},"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/2401.00757/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-05T09:17:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jPc9hFn0Sbqz9i6x5NbOAxi6c/kG0Pm4fmV8+gNtjweUHhKS2V5HofFAzvnTQbgkKgxwCUoj8BYtypS6nHdHDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T05:35:11.056551Z"},"content_sha256":"b4d7190204c8733840181be6004de31ea47567408c1fe134b5eb44dd9321ec88","schema_version":"1.0","event_id":"sha256:b4d7190204c8733840181be6004de31ea47567408c1fe134b5eb44dd9321ec88"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/bundle.json","state_url":"https://pith.science/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/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-08T05:35:11Z","links":{"resolver":"https://pith.science/pith/PAR64MGJLCBK4PH5SGLPKPIXTM","bundle":"https://pith.science/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/bundle.json","state":"https://pith.science/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PAR64MGJLCBK4PH5SGLPKPIXTM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PAR64MGJLCBK4PH5SGLPKPIXTM","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":"6955d6b58555a9c1268ddf0ad2ba6984c65b046ddab183ecbac4f719c4eb05f6","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-01T13:53:53Z","title_canon_sha256":"1bf8e7f5a739c1ab0ad6cd5ca1814cbd25cffdbef4592172faad73d75944da1f"},"schema_version":"1.0","source":{"id":"2401.00757","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.00757","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"arxiv_version","alias_value":"2401.00757v3","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.00757","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_12","alias_value":"PAR64MGJLCBK","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_16","alias_value":"PAR64MGJLCBK4PH5","created_at":"2026-07-05T09:17:36Z"},{"alias_kind":"pith_short_8","alias_value":"PAR64MGJ","created_at":"2026-07-05T09:17:36Z"}],"graph_snapshots":[{"event_id":"sha256:b4d7190204c8733840181be6004de31ea47567408c1fe134b5eb44dd9321ec88","target":"graph","created_at":"2026-07-05T09:17:36Z","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/2401.00757/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce LogicAsker, a novel approach for evaluating and enhancing the logical reasoning capabilities of large language models (LLMs) such as ChatGPT and GPT-4. Despite LLMs' prowess in tasks like writing assistance, code generation, and machine translation, assessing their ability to reason has been challenging. Traditional evaluations often prioritize accuracy on downstream tasks over direct assessments of reasoning processes. LogicAsker addresses this gap by employing a set of atomic reasoning skills grounded in propositional and predicate logic to systematically examine and improve the","authors_text":"Jen-tse Huang, Michael R. Lyu, Pinjia He, Wenxiang Jiao, Wenxuan Wang, Yiliu Yang, Youliang Yuan, Yuxuan Wan","cross_cats":["cs.AI","cs.CL","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-01T13:53:53Z","title":"LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.00757","kind":"arxiv","version":3},"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:b3b17a0c89d9163c530e707bf0f10acf479d0b851a477f245d71f0be6971fc89","target":"record","created_at":"2026-07-05T09:17:36Z","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":"6955d6b58555a9c1268ddf0ad2ba6984c65b046ddab183ecbac4f719c4eb05f6","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-01T13:53:53Z","title_canon_sha256":"1bf8e7f5a739c1ab0ad6cd5ca1814cbd25cffdbef4592172faad73d75944da1f"},"schema_version":"1.0","source":{"id":"2401.00757","kind":"arxiv","version":3}},"canonical_sha256":"7823ee30c95882ae3cfd9196f53d179b08502c1c36c38c6dc53cb7021741db2b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7823ee30c95882ae3cfd9196f53d179b08502c1c36c38c6dc53cb7021741db2b","first_computed_at":"2026-07-05T09:17:36.285683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:17:36.285683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P0A5GcpWIqCEgFELzf0Xr0yAncPRRb/wTCMJuc6t0hEG18cc72i0kG86gpqfOMT0j3SXWsqjpSo2bJx3zyKnDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:17:36.286129Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.00757","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3b17a0c89d9163c530e707bf0f10acf479d0b851a477f245d71f0be6971fc89","sha256:b4d7190204c8733840181be6004de31ea47567408c1fe134b5eb44dd9321ec88"],"state_sha256":"da2778ddd654bbe857765ee32dc128ed3555d5f4146cb14dce20080819bb6536"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OXK8ReY530JnDhzLkxVUO05t2to7erPhdkHIET7aR0CJtUAhlnI2Oo6YJGbtVohhUPiWL1taYZplXmrh9pAvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T05:35:11.062114Z","bundle_sha256":"81ebc255797222555db04ab926d7bd1706b857abac0d2cf77042c70ca6efd6e8"}}