{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:A55LV5ZUGMIQA3GDHEA4AEYCF2","short_pith_number":"pith:A55LV5ZU","schema_version":"1.0","canonical_sha256":"077abaf7343311006cc33901c013022e9c7ee69c226ba4f860200237a319edcb","source":{"kind":"arxiv","id":"2410.08436","version":2},"attestation_state":"computed","paper":{"title":"Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Christopher Malon, Martin Renqiang Min, Xiaodan Zhu, Zi'ou Zheng","submitted_at":"2024-10-11T00:45:50Z","abstract_excerpt":"When performing complex multi-step reasoning tasks, the ability of Large Language Models (LLMs) to derive structured intermediate proof steps is important for ensuring that the models truly perform the desired reasoning and for improving models' explainability. This paper is centred around a focused study: whether the current state-of-the-art generalist LLMs can leverage the structures in a few examples to better construct the proof structures with \\textit{in-context learning}. Our study specifically focuses on structure-aware demonstration and structure-aware pruning. We demonstrate that they"},"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":"2410.08436","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-10-11T00:45:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a5ece7f1f5bf9b9746c5c67d27d9601f1be690fd40fe1511d4ea004ed285da43","abstract_canon_sha256":"4ebb7ac5de903ef68b9a44daa513c2a79c4ca2190fc77daf8ce9d109082c4561"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:07:27.839788Z","signature_b64":"eS9W1gjzVfOOwoCDSelx+uNtqqtdQKpIE9EbotzGo9NH2UTVfOY5Lvvlm/s9oxkFhPq4hW5rl/fI8DdVNmrICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"077abaf7343311006cc33901c013022e9c7ee69c226ba4f860200237a319edcb","last_reissued_at":"2026-07-05T10:07:27.839334Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:07:27.839334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Christopher Malon, Martin Renqiang Min, Xiaodan Zhu, Zi'ou Zheng","submitted_at":"2024-10-11T00:45:50Z","abstract_excerpt":"When performing complex multi-step reasoning tasks, the ability of Large Language Models (LLMs) to derive structured intermediate proof steps is important for ensuring that the models truly perform the desired reasoning and for improving models' explainability. This paper is centred around a focused study: whether the current state-of-the-art generalist LLMs can leverage the structures in a few examples to better construct the proof structures with \\textit{in-context learning}. Our study specifically focuses on structure-aware demonstration and structure-aware pruning. We demonstrate that they"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.08436","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/2410.08436/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":"2410.08436","created_at":"2026-07-05T10:07:27.839395+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.08436v2","created_at":"2026-07-05T10:07:27.839395+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.08436","created_at":"2026-07-05T10:07:27.839395+00:00"},{"alias_kind":"pith_short_12","alias_value":"A55LV5ZUGMIQ","created_at":"2026-07-05T10:07:27.839395+00:00"},{"alias_kind":"pith_short_16","alias_value":"A55LV5ZUGMIQA3GD","created_at":"2026-07-05T10:07:27.839395+00:00"},{"alias_kind":"pith_short_8","alias_value":"A55LV5ZU","created_at":"2026-07-05T10:07:27.839395+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2509.24765","citing_title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","ref_index":58,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2","json":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2.json","graph_json":"https://pith.science/api/pith-number/A55LV5ZUGMIQA3GDHEA4AEYCF2/graph.json","events_json":"https://pith.science/api/pith-number/A55LV5ZUGMIQA3GDHEA4AEYCF2/events.json","paper":"https://pith.science/paper/A55LV5ZU"},"agent_actions":{"view_html":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2","download_json":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2.json","view_paper":"https://pith.science/paper/A55LV5ZU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.08436&json=true","fetch_graph":"https://pith.science/api/pith-number/A55LV5ZUGMIQA3GDHEA4AEYCF2/graph.json","fetch_events":"https://pith.science/api/pith-number/A55LV5ZUGMIQA3GDHEA4AEYCF2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2/action/storage_attestation","attest_author":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2/action/author_attestation","sign_citation":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2/action/citation_signature","submit_replication":"https://pith.science/pith/A55LV5ZUGMIQA3GDHEA4AEYCF2/action/replication_record"}},"created_at":"2026-07-05T10:07:27.839395+00:00","updated_at":"2026-07-05T10:07:27.839395+00:00"}