{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:QD2CGKP3SD5G4V6CBTNC5NMRMP","short_pith_number":"pith:QD2CGKP3","schema_version":"1.0","canonical_sha256":"80f42329fb90fa6e57c20cda2eb59163ce4944f81802f3b4d2a18531ca020975","source":{"kind":"arxiv","id":"2607.08018","version":1},"attestation_state":"computed","paper":{"title":"Concretized Proposition Prompting Resolves Composition-Knowledge Dichotomy in Large Language Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Changhun Lee, Chiehyeon Lim, Jongkyung Shin, Minguk Jeon","submitted_at":"2026-07-09T00:49:28Z","abstract_excerpt":"LLMs often struggle to balance compositionality with knowledgeability, a challenge we define as Composition-Knowledge Dichotomy. To address this, we propose Concretized Proposition Prompting (CPP), a framework that explicitly concretizes propositions relevant to questions. The results demonstrate that CPP significantly enhances reasoning performance, particularly in medical benchmarks where precise knowledge is paramount, while being competitive on math benchmarks where deductive reasoning is prioritized. Additional experiments reveal that CPP is scalable to various foundation models and param"},"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":"2607.08018","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-09T00:49:28Z","cross_cats_sorted":[],"title_canon_sha256":"7d32b28ed9f1141b6e909f3c466b67ecc01415e1edc767ba08cb9daa54dc7274","abstract_canon_sha256":"f6e369f86dbeb9145ae100b49d92815aed3f4f7009d00c1089f0e3e652343500"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T00:19:07.751370Z","signature_b64":"APKXyCWmxxujGiqRIIBda3QlHynQOMz/moNHDKu1t6TV0WqYRLoa8wCPAvJhu7DS8Td/+vxFNJSURMWzhnOWCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80f42329fb90fa6e57c20cda2eb59163ce4944f81802f3b4d2a18531ca020975","last_reissued_at":"2026-07-10T00:19:07.750952Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T00:19:07.750952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Concretized Proposition Prompting Resolves Composition-Knowledge Dichotomy in Large Language Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Changhun Lee, Chiehyeon Lim, Jongkyung Shin, Minguk Jeon","submitted_at":"2026-07-09T00:49:28Z","abstract_excerpt":"LLMs often struggle to balance compositionality with knowledgeability, a challenge we define as Composition-Knowledge Dichotomy. To address this, we propose Concretized Proposition Prompting (CPP), a framework that explicitly concretizes propositions relevant to questions. The results demonstrate that CPP significantly enhances reasoning performance, particularly in medical benchmarks where precise knowledge is paramount, while being competitive on math benchmarks where deductive reasoning is prioritized. Additional experiments reveal that CPP is scalable to various foundation models and param"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08018","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/2607.08018/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":"2607.08018","created_at":"2026-07-10T00:19:07.751014+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.08018v1","created_at":"2026-07-10T00:19:07.751014+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08018","created_at":"2026-07-10T00:19:07.751014+00:00"},{"alias_kind":"pith_short_12","alias_value":"QD2CGKP3SD5G","created_at":"2026-07-10T00:19:07.751014+00:00"},{"alias_kind":"pith_short_16","alias_value":"QD2CGKP3SD5G4V6C","created_at":"2026-07-10T00:19:07.751014+00:00"},{"alias_kind":"pith_short_8","alias_value":"QD2CGKP3","created_at":"2026-07-10T00:19:07.751014+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP","json":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP.json","graph_json":"https://pith.science/api/pith-number/QD2CGKP3SD5G4V6CBTNC5NMRMP/graph.json","events_json":"https://pith.science/api/pith-number/QD2CGKP3SD5G4V6CBTNC5NMRMP/events.json","paper":"https://pith.science/paper/QD2CGKP3"},"agent_actions":{"view_html":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP","download_json":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP.json","view_paper":"https://pith.science/paper/QD2CGKP3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.08018&json=true","fetch_graph":"https://pith.science/api/pith-number/QD2CGKP3SD5G4V6CBTNC5NMRMP/graph.json","fetch_events":"https://pith.science/api/pith-number/QD2CGKP3SD5G4V6CBTNC5NMRMP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP/action/storage_attestation","attest_author":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP/action/author_attestation","sign_citation":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP/action/citation_signature","submit_replication":"https://pith.science/pith/QD2CGKP3SD5G4V6CBTNC5NMRMP/action/replication_record"}},"created_at":"2026-07-10T00:19:07.751014+00:00","updated_at":"2026-07-10T00:19:07.751014+00:00"}