{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:GYKOSSHJY6TDYSBIYB43K7BTG4","short_pith_number":"pith:GYKOSSHJ","canonical_record":{"source":{"id":"2407.04899","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-06T00:27:05Z","cross_cats_sorted":["cs.CL","cs.PL"],"title_canon_sha256":"cf4d722981eb1f58676878d9186adb84a77b60e73db67b269bb704e54329b689","abstract_canon_sha256":"39c8644f3865bc3d3229d3123c5074fa27bba608fee1104bbb1225a84242b97c"},"schema_version":"1.0"},"canonical_sha256":"3614e948e9c7a63c4828c079b57c33373548a82f51512bc511818b2e549787e8","source":{"kind":"arxiv","id":"2407.04899","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.04899","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2407.04899v2","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.04899","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"GYKOSSHJY6TD","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_16","alias_value":"GYKOSSHJY6TDYSBI","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_8","alias_value":"GYKOSSHJ","created_at":"2026-07-05T11:08:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:GYKOSSHJY6TDYSBIYB43K7BTG4","target":"record","payload":{"canonical_record":{"source":{"id":"2407.04899","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-06T00:27:05Z","cross_cats_sorted":["cs.CL","cs.PL"],"title_canon_sha256":"cf4d722981eb1f58676878d9186adb84a77b60e73db67b269bb704e54329b689","abstract_canon_sha256":"39c8644f3865bc3d3229d3123c5074fa27bba608fee1104bbb1225a84242b97c"},"schema_version":"1.0"},"canonical_sha256":"3614e948e9c7a63c4828c079b57c33373548a82f51512bc511818b2e549787e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:08:58.699592Z","signature_b64":"TPf4S3RZX5GW6JyVZvozVhSGY7A76Qc5xlbYo3wOJkFBWx7hwgUCTjaplNkvSHPFOw8oa/JZET3DvQwFRLVJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3614e948e9c7a63c4828c079b57c33373548a82f51512bc511818b2e549787e8","last_reissued_at":"2026-07-05T11:08:58.699104Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:08:58.699104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.04899","source_version":2,"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-05T11:08:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3t8w2pKLB/qB3DsqPlTJkr57H1Vuq16cSl7cgEiPEJ8joUUsxV11W/YalUv0Fsx4qMKxvljMeVCkkdpOzzT1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:57:52.964156Z"},"content_sha256":"376f553b16835a99579fd8ebddbdcb8a3166d1e5147e922ff2547748a8445318","schema_version":"1.0","event_id":"sha256:376f553b16835a99579fd8ebddbdcb8a3166d1e5147e922ff2547748a8445318"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:GYKOSSHJY6TDYSBIYB43K7BTG4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic Language Models with Neurally Compiled Libraries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.PL"],"primary_cat":"cs.AI","authors_text":"Lucas Saldyt, Subbarao Kambhampati","submitted_at":"2024-07-06T00:27:05Z","abstract_excerpt":"Important tasks such as reasoning and planning are fundamentally algorithmic, meaning that solving them robustly requires acquiring true reasoning or planning algorithms, rather than shortcuts. Large Language Models lack true algorithmic ability primarily because of the limitations of neural network optimization algorithms, their optimization data and optimization objective, but also due to architectural inexpressivity. To solve this, our paper proposes augmenting LLMs with a library of fundamental operations and sophisticated differentiable programs, so that common algorithms do not need to b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.04899","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/2407.04899/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-05T11:08:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TWuPTQ0CbvAlmuzfV9G8s8nWdA6tgiSZDR+MVYddTz2xYQTOxGUwUSRKlLmEDqW2f3dJxSmCSrSrTg1lO0b8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:57:52.964775Z"},"content_sha256":"56e03d887bda821c6644ce8af4ee89db9d9700e4c2e636338e81b8d3fae2bfaa","schema_version":"1.0","event_id":"sha256:56e03d887bda821c6644ce8af4ee89db9d9700e4c2e636338e81b8d3fae2bfaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/bundle.json","state_url":"https://pith.science/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/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-10T14:57:52Z","links":{"resolver":"https://pith.science/pith/GYKOSSHJY6TDYSBIYB43K7BTG4","bundle":"https://pith.science/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/bundle.json","state":"https://pith.science/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GYKOSSHJY6TDYSBIYB43K7BTG4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:GYKOSSHJY6TDYSBIYB43K7BTG4","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":"39c8644f3865bc3d3229d3123c5074fa27bba608fee1104bbb1225a84242b97c","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-06T00:27:05Z","title_canon_sha256":"cf4d722981eb1f58676878d9186adb84a77b60e73db67b269bb704e54329b689"},"schema_version":"1.0","source":{"id":"2407.04899","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.04899","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2407.04899v2","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.04899","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"GYKOSSHJY6TD","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_16","alias_value":"GYKOSSHJY6TDYSBI","created_at":"2026-07-05T11:08:58Z"},{"alias_kind":"pith_short_8","alias_value":"GYKOSSHJ","created_at":"2026-07-05T11:08:58Z"}],"graph_snapshots":[{"event_id":"sha256:56e03d887bda821c6644ce8af4ee89db9d9700e4c2e636338e81b8d3fae2bfaa","target":"graph","created_at":"2026-07-05T11:08:58Z","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/2407.04899/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Important tasks such as reasoning and planning are fundamentally algorithmic, meaning that solving them robustly requires acquiring true reasoning or planning algorithms, rather than shortcuts. Large Language Models lack true algorithmic ability primarily because of the limitations of neural network optimization algorithms, their optimization data and optimization objective, but also due to architectural inexpressivity. To solve this, our paper proposes augmenting LLMs with a library of fundamental operations and sophisticated differentiable programs, so that common algorithms do not need to b","authors_text":"Lucas Saldyt, Subbarao Kambhampati","cross_cats":["cs.CL","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-06T00:27:05Z","title":"Algorithmic Language Models with Neurally Compiled Libraries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.04899","kind":"arxiv","version":2},"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:376f553b16835a99579fd8ebddbdcb8a3166d1e5147e922ff2547748a8445318","target":"record","created_at":"2026-07-05T11:08:58Z","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":"39c8644f3865bc3d3229d3123c5074fa27bba608fee1104bbb1225a84242b97c","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-06T00:27:05Z","title_canon_sha256":"cf4d722981eb1f58676878d9186adb84a77b60e73db67b269bb704e54329b689"},"schema_version":"1.0","source":{"id":"2407.04899","kind":"arxiv","version":2}},"canonical_sha256":"3614e948e9c7a63c4828c079b57c33373548a82f51512bc511818b2e549787e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3614e948e9c7a63c4828c079b57c33373548a82f51512bc511818b2e549787e8","first_computed_at":"2026-07-05T11:08:58.699104Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:58.699104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TPf4S3RZX5GW6JyVZvozVhSGY7A76Qc5xlbYo3wOJkFBWx7hwgUCTjaplNkvSHPFOw8oa/JZET3DvQwFRLVJDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:58.699592Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.04899","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:376f553b16835a99579fd8ebddbdcb8a3166d1e5147e922ff2547748a8445318","sha256:56e03d887bda821c6644ce8af4ee89db9d9700e4c2e636338e81b8d3fae2bfaa"],"state_sha256":"6b7149e7629a1e38a4cf5489962b90f4a8991c520d4da3ef58dc7e655eb92e3f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ehMxRltggqfH/eMpYxvYmxoR518/0K5ll3eMkfVYYCAiPI+wZNyJJrcwjWaHUhw5tfEPJCOxcmAikU9CLc8MBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T14:57:52.970652Z","bundle_sha256":"639468eba20ee60afc830eb9519b07e15431c8c5f2f56e232bf6fbc8858bfa84"}}