{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TTKUMNJO5F6JJIR2GYNMXTHIVW","short_pith_number":"pith:TTKUMNJO","canonical_record":{"source":{"id":"2502.09209","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T11:47:44Z","cross_cats_sorted":[],"title_canon_sha256":"e902323bd1e13ae75c401c3bca92e0cf6d85f39adfb82a62bb924f5beb0423ba","abstract_canon_sha256":"0920723a3932287e3e5b87614aa0dd0d6c8db635834365a17fb5f2fa31934258"},"schema_version":"1.0"},"canonical_sha256":"9cd546352ee97c94a23a361acbcce8ad89c5deacee636f87c85adbad297101fc","source":{"kind":"arxiv","id":"2502.09209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09209","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09209v1","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09209","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_12","alias_value":"TTKUMNJO5F6J","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_16","alias_value":"TTKUMNJO5F6JJIR2","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_8","alias_value":"TTKUMNJO","created_at":"2026-07-05T10:13:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TTKUMNJO5F6JJIR2GYNMXTHIVW","target":"record","payload":{"canonical_record":{"source":{"id":"2502.09209","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T11:47:44Z","cross_cats_sorted":[],"title_canon_sha256":"e902323bd1e13ae75c401c3bca92e0cf6d85f39adfb82a62bb924f5beb0423ba","abstract_canon_sha256":"0920723a3932287e3e5b87614aa0dd0d6c8db635834365a17fb5f2fa31934258"},"schema_version":"1.0"},"canonical_sha256":"9cd546352ee97c94a23a361acbcce8ad89c5deacee636f87c85adbad297101fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:53.787579Z","signature_b64":"BLKA3pR/8Tzritxb+R3YlTaO4m8WyKb6zAxpcIoha7jIvL69/lrGHmicK7jYddf31Cmaz6BGh5rmKYT3vgjyAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cd546352ee97c94a23a361acbcce8ad89c5deacee636f87c85adbad297101fc","last_reissued_at":"2026-07-05T10:13:53.787100Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:53.787100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.09209","source_version":1,"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-05T10:13:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JjOIMP8ppTNoV/RW2pRukSCGU3EvA2KH9TQsoIoSNw6NZRtQ+B9BuXVk7Y/ijSk9XBi2rMHXlY0u1Yamgaj4Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:03:08.797909Z"},"content_sha256":"305bbae53978e4b6b5eb0606d46b75d7f5ae006e028a5a7c9ae6e8aa5a95eab1","schema_version":"1.0","event_id":"sha256:305bbae53978e4b6b5eb0606d46b75d7f5ae006e028a5a7c9ae6e8aa5a95eab1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TTKUMNJO5F6JJIR2GYNMXTHIVW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On LLM-generated Logic Programs and their Inference Execution Methods","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Paul Tarau (University of North Texas)","submitted_at":"2025-02-13T11:47:44Z","abstract_excerpt":"Large Language Models (LLMs) trained on petabytes of data are highly compressed repositories of a significant proportion of the knowledge accumulated and distilled so far. In this paper we study techniques to elicit this knowledge in the form of several classes of logic programs, including propositional Horn clauses, Dual Horn clauses, relational triplets and Definite Clause Grammars. Exposing this knowledge as logic programs enables sound reasoning methods that can verify alignment of LLM outputs to their intended uses and extend their inference capabilities.  We study new execution methods f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09209","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/2502.09209/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-05T10:13:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ypYVDagaz+LKhEDQxnjEAidf1cl/emwlsB078FxMekrstTWAg/dj/CTzHoRUBBqTQ0J6X5KplLh2idZWKgavDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:03:08.798800Z"},"content_sha256":"1ea4607bb8c81cb5ae93b96c9224e93ad152f3d795afb2144013301bc007f1b8","schema_version":"1.0","event_id":"sha256:1ea4607bb8c81cb5ae93b96c9224e93ad152f3d795afb2144013301bc007f1b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/bundle.json","state_url":"https://pith.science/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/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-09T03:03:08Z","links":{"resolver":"https://pith.science/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW","bundle":"https://pith.science/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/bundle.json","state":"https://pith.science/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTKUMNJO5F6JJIR2GYNMXTHIVW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TTKUMNJO5F6JJIR2GYNMXTHIVW","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":"0920723a3932287e3e5b87614aa0dd0d6c8db635834365a17fb5f2fa31934258","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T11:47:44Z","title_canon_sha256":"e902323bd1e13ae75c401c3bca92e0cf6d85f39adfb82a62bb924f5beb0423ba"},"schema_version":"1.0","source":{"id":"2502.09209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09209","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09209v1","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09209","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_12","alias_value":"TTKUMNJO5F6J","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_16","alias_value":"TTKUMNJO5F6JJIR2","created_at":"2026-07-05T10:13:53Z"},{"alias_kind":"pith_short_8","alias_value":"TTKUMNJO","created_at":"2026-07-05T10:13:53Z"}],"graph_snapshots":[{"event_id":"sha256:1ea4607bb8c81cb5ae93b96c9224e93ad152f3d795afb2144013301bc007f1b8","target":"graph","created_at":"2026-07-05T10:13:53Z","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/2502.09209/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) trained on petabytes of data are highly compressed repositories of a significant proportion of the knowledge accumulated and distilled so far. In this paper we study techniques to elicit this knowledge in the form of several classes of logic programs, including propositional Horn clauses, Dual Horn clauses, relational triplets and Definite Clause Grammars. Exposing this knowledge as logic programs enables sound reasoning methods that can verify alignment of LLM outputs to their intended uses and extend their inference capabilities.  We study new execution methods f","authors_text":"Paul Tarau (University of North Texas)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T11:47:44Z","title":"On LLM-generated Logic Programs and their Inference Execution Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09209","kind":"arxiv","version":1},"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:305bbae53978e4b6b5eb0606d46b75d7f5ae006e028a5a7c9ae6e8aa5a95eab1","target":"record","created_at":"2026-07-05T10:13:53Z","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":"0920723a3932287e3e5b87614aa0dd0d6c8db635834365a17fb5f2fa31934258","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T11:47:44Z","title_canon_sha256":"e902323bd1e13ae75c401c3bca92e0cf6d85f39adfb82a62bb924f5beb0423ba"},"schema_version":"1.0","source":{"id":"2502.09209","kind":"arxiv","version":1}},"canonical_sha256":"9cd546352ee97c94a23a361acbcce8ad89c5deacee636f87c85adbad297101fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cd546352ee97c94a23a361acbcce8ad89c5deacee636f87c85adbad297101fc","first_computed_at":"2026-07-05T10:13:53.787100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:53.787100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BLKA3pR/8Tzritxb+R3YlTaO4m8WyKb6zAxpcIoha7jIvL69/lrGHmicK7jYddf31Cmaz6BGh5rmKYT3vgjyAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:53.787579Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:305bbae53978e4b6b5eb0606d46b75d7f5ae006e028a5a7c9ae6e8aa5a95eab1","sha256:1ea4607bb8c81cb5ae93b96c9224e93ad152f3d795afb2144013301bc007f1b8"],"state_sha256":"3a54b4d06c670631f637eda4220405751e9ee6ed1e9ff5f5b2dd9f26a54a81b0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EbvOx8lyUvTP9oYEZq5cm6GugYYyEKQ7Tu979uE5hX45VddpZ7hOi52A8z8FPrQpBW1/qfQTyKZOhjdPWsE4Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T03:03:08.805451Z","bundle_sha256":"65c1d34cf9618acfdc94a6856bbaf7893623994c7e22855129dcb2c1e5f1988a"}}