{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FTYOZFBZEJOBQ7UIDEIFFHFMKK","short_pith_number":"pith:FTYOZFBZ","schema_version":"1.0","canonical_sha256":"2cf0ec9439225c187e881910529cac529d5dc86fc465f1d83d152baa59fe06c6","source":{"kind":"arxiv","id":"2506.23408","version":1},"attestation_state":"computed","paper":{"title":"Do LLMs Dream of Discrete Algorithms?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Claudionor Coelho Jr, Philip Tee, Yanen Li","submitted_at":"2025-06-29T22:03:01Z","abstract_excerpt":"Large Language Models (LLMs) have rapidly transformed the landscape of artificial intelligence, enabling natural language interfaces and dynamic orchestration of software components. However, their reliance on probabilistic inference limits their effectiveness in domains requiring strict logical reasoning, discrete decision-making, and robust interpretability. This paper investigates these limitations and proposes a neurosymbolic approach that augments LLMs with logic-based reasoning modules, particularly leveraging Prolog predicates and composable toolsets. By integrating first-order logic an"},"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":"2506.23408","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-06-29T22:03:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f13c063a7caf11384c3dfb8845086252e778b7e9b6b34fed08f0aaca2a513620","abstract_canon_sha256":"ebac2033880ec5aa0c3c13eb26a05f6ea60c7e9558c1612e311bf028ad34cbce"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:21.182417Z","signature_b64":"x1TTuKUo1E3EJjPI2X/5cRD97mU0pZIG4ISrdWbn/TVGBIt06727o9mBfqVsKwQHq2BxUbOcFvNq1EfdrZ4mBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2cf0ec9439225c187e881910529cac529d5dc86fc465f1d83d152baa59fe06c6","last_reissued_at":"2026-07-05T11:29:21.181915Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:21.181915Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Do LLMs Dream of Discrete Algorithms?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Claudionor Coelho Jr, Philip Tee, Yanen Li","submitted_at":"2025-06-29T22:03:01Z","abstract_excerpt":"Large Language Models (LLMs) have rapidly transformed the landscape of artificial intelligence, enabling natural language interfaces and dynamic orchestration of software components. However, their reliance on probabilistic inference limits their effectiveness in domains requiring strict logical reasoning, discrete decision-making, and robust interpretability. This paper investigates these limitations and proposes a neurosymbolic approach that augments LLMs with logic-based reasoning modules, particularly leveraging Prolog predicates and composable toolsets. By integrating first-order logic an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23408","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/2506.23408/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":"2506.23408","created_at":"2026-07-05T11:29:21.181973+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.23408v1","created_at":"2026-07-05T11:29:21.181973+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23408","created_at":"2026-07-05T11:29:21.181973+00:00"},{"alias_kind":"pith_short_12","alias_value":"FTYOZFBZEJOB","created_at":"2026-07-05T11:29:21.181973+00:00"},{"alias_kind":"pith_short_16","alias_value":"FTYOZFBZEJOBQ7UI","created_at":"2026-07-05T11:29:21.181973+00:00"},{"alias_kind":"pith_short_8","alias_value":"FTYOZFBZ","created_at":"2026-07-05T11:29:21.181973+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/FTYOZFBZEJOBQ7UIDEIFFHFMKK","json":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK.json","graph_json":"https://pith.science/api/pith-number/FTYOZFBZEJOBQ7UIDEIFFHFMKK/graph.json","events_json":"https://pith.science/api/pith-number/FTYOZFBZEJOBQ7UIDEIFFHFMKK/events.json","paper":"https://pith.science/paper/FTYOZFBZ"},"agent_actions":{"view_html":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK","download_json":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK.json","view_paper":"https://pith.science/paper/FTYOZFBZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.23408&json=true","fetch_graph":"https://pith.science/api/pith-number/FTYOZFBZEJOBQ7UIDEIFFHFMKK/graph.json","fetch_events":"https://pith.science/api/pith-number/FTYOZFBZEJOBQ7UIDEIFFHFMKK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK/action/storage_attestation","attest_author":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK/action/author_attestation","sign_citation":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK/action/citation_signature","submit_replication":"https://pith.science/pith/FTYOZFBZEJOBQ7UIDEIFFHFMKK/action/replication_record"}},"created_at":"2026-07-05T11:29:21.181973+00:00","updated_at":"2026-07-05T11:29:21.181973+00:00"}