{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:3DKNOPGJOIYWXRWRWVIZZZ5TK6","short_pith_number":"pith:3DKNOPGJ","schema_version":"1.0","canonical_sha256":"d8d4d73cc972316bc6d1b5519ce7b3578463fb981bc174f995e93c12b0300ca6","source":{"kind":"arxiv","id":"2409.12929","version":3},"attestation_state":"computed","paper":{"title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jianing Wang, Jin Jiang, Liangcai Gao, Mengdi Zhang, Shuai Peng, Xunliang Cai, Yang Liu, Yixin Cao, Yuchen Yan","submitted_at":"2024-09-19T17:30:45Z","abstract_excerpt":"In this paper, we propose a new data synthesis method called \\textbf{LogicPro}, which leverages LeetCode-style algorithm \\underline{Pro}blems and their corresponding \\underline{Pro}gram solutions to synthesize Complex \\underline{Logic}al Reasoning data in text format. First, we synthesize complex reasoning problems through source algorithm problems and test cases. Then, standard answers and intermediate variable outputs are obtained for each problem based on standard python solutions and test cases. Finally, with the guidance of code intermediate variables, we synthesize the text reasoning pro"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.12929","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-19T17:30:45Z","cross_cats_sorted":[],"title_canon_sha256":"52fc8109fdba851230610e5912330a9c5219298552071ebf1086cd52e37d1d4b","abstract_canon_sha256":"44a9d7c52335ec51abe21844060a35f3046ad940c0a16477f169634063c1e2f6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:10.201577Z","signature_b64":"62jzcQUdP2uLR5TlwG2AOfoCiFmrnkapXhumwJsroegovDykV5G2wcb0v85+DtlcfziaN0el6hLLifQkeXNuCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8d4d73cc972316bc6d1b5519ce7b3578463fb981bc174f995e93c12b0300ca6","last_reissued_at":"2026-07-05T12:05:10.201044Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:10.201044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jianing Wang, Jin Jiang, Liangcai Gao, Mengdi Zhang, Shuai Peng, Xunliang Cai, Yang Liu, Yixin Cao, Yuchen Yan","submitted_at":"2024-09-19T17:30:45Z","abstract_excerpt":"In this paper, we propose a new data synthesis method called \\textbf{LogicPro}, which leverages LeetCode-style algorithm \\underline{Pro}blems and their corresponding \\underline{Pro}gram solutions to synthesize Complex \\underline{Logic}al Reasoning data in text format. First, we synthesize complex reasoning problems through source algorithm problems and test cases. Then, standard answers and intermediate variable outputs are obtained for each problem based on standard python solutions and test cases. Finally, with the guidance of code intermediate variables, we synthesize the text reasoning pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.12929","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/2409.12929/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.12929","created_at":"2026-07-05T12:05:10.201102+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.12929v3","created_at":"2026-07-05T12:05:10.201102+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.12929","created_at":"2026-07-05T12:05:10.201102+00:00"},{"alias_kind":"pith_short_12","alias_value":"3DKNOPGJOIYW","created_at":"2026-07-05T12:05:10.201102+00:00"},{"alias_kind":"pith_short_16","alias_value":"3DKNOPGJOIYWXRWR","created_at":"2026-07-05T12:05:10.201102+00:00"},{"alias_kind":"pith_short_8","alias_value":"3DKNOPGJ","created_at":"2026-07-05T12:05:10.201102+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2502.09100","citing_title":"Logical Reasoning in Large Language Models: A Survey","ref_index":2022,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6","json":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6.json","graph_json":"https://pith.science/api/pith-number/3DKNOPGJOIYWXRWRWVIZZZ5TK6/graph.json","events_json":"https://pith.science/api/pith-number/3DKNOPGJOIYWXRWRWVIZZZ5TK6/events.json","paper":"https://pith.science/paper/3DKNOPGJ"},"agent_actions":{"view_html":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6","download_json":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6.json","view_paper":"https://pith.science/paper/3DKNOPGJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.12929&json=true","fetch_graph":"https://pith.science/api/pith-number/3DKNOPGJOIYWXRWRWVIZZZ5TK6/graph.json","fetch_events":"https://pith.science/api/pith-number/3DKNOPGJOIYWXRWRWVIZZZ5TK6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6/action/storage_attestation","attest_author":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6/action/author_attestation","sign_citation":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6/action/citation_signature","submit_replication":"https://pith.science/pith/3DKNOPGJOIYWXRWRWVIZZZ5TK6/action/replication_record"}},"created_at":"2026-07-05T12:05:10.201102+00:00","updated_at":"2026-07-05T12:05:10.201102+00:00"}