{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FCBC7ZEIV4GADABJJGCXDYSGYK","short_pith_number":"pith:FCBC7ZEI","canonical_record":{"source":{"id":"2502.12275","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-17T19:18:23Z","cross_cats_sorted":["cs.CL","cs.MA"],"title_canon_sha256":"44cab90a3ebffb69df169f3e54c649c643a5808cc698fbaa020bf27227525389","abstract_canon_sha256":"2221946f6fc094d68a22087f4c409d577f6819ebcc8a2a4ad9620cdde59090e9"},"schema_version":"1.0"},"canonical_sha256":"28822fe488af0c018029498571e246c2be39b806d2366bdb697b59c5d8d6422c","source":{"kind":"arxiv","id":"2502.12275","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12275","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12275v2","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12275","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"FCBC7ZEIV4GA","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_16","alias_value":"FCBC7ZEIV4GADABJ","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_8","alias_value":"FCBC7ZEI","created_at":"2026-07-05T11:01:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FCBC7ZEIV4GADABJJGCXDYSGYK","target":"record","payload":{"canonical_record":{"source":{"id":"2502.12275","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-17T19:18:23Z","cross_cats_sorted":["cs.CL","cs.MA"],"title_canon_sha256":"44cab90a3ebffb69df169f3e54c649c643a5808cc698fbaa020bf27227525389","abstract_canon_sha256":"2221946f6fc094d68a22087f4c409d577f6819ebcc8a2a4ad9620cdde59090e9"},"schema_version":"1.0"},"canonical_sha256":"28822fe488af0c018029498571e246c2be39b806d2366bdb697b59c5d8d6422c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:01:32.046053Z","signature_b64":"dkX60/Cd2FGoCD8X2ll54ZmajK/rJ6JHYcNk+O6fyV5+WYwIut7QgT8XlizGksKSUh2V3R/l7ZNvuFBTzz/wDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28822fe488af0c018029498571e246c2be39b806d2366bdb697b59c5d8d6422c","last_reissued_at":"2026-07-05T11:01:32.045586Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:01:32.045586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.12275","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:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HpuLS5xgQQlOvzHrne0oxh2Z6HAx5e9sGxzTyBT7/4qSTQOLZvZ+bK3zzpzfGNk3LMacu1o9cz8cnML2kyzQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T23:15:37.062214Z"},"content_sha256":"cbf020bcb68ca8c746a426df74fad2ec939cdfe270de3a6e2ccf4fd5adb90375","schema_version":"1.0","event_id":"sha256:cbf020bcb68ca8c746a426df74fad2ec939cdfe270de3a6e2ccf4fd5adb90375"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FCBC7ZEIV4GADABJJGCXDYSGYK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrating Expert Knowledge into Logical Programs via LLMs","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CL","cs.MA"],"primary_cat":"cs.AI","authors_text":"Andre Freitas, Franciszek G\\'orski, Marco Valentino, Oskar Wysocki","submitted_at":"2025-02-17T19:18:23Z","abstract_excerpt":"This paper introduces ExKLoP, a novel framework designed to evaluate how effectively Large Language Models (LLMs) integrate expert knowledge into logical reasoning systems. This capability is especially valuable in engineering, where expert knowledge-such as manufacturer-recommended operational ranges-can be directly embedded into automated monitoring systems. By mirroring expert verification steps, tasks like range checking and constraint validation help ensure system safety and reliability. Our approach systematically evaluates LLM-generated logical rules, assessing both syntactic fluency an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12275","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/2502.12275/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:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0lA1HLp9bmYdfyyUbWwKTtV/uQPfgsnhpqnMVX0ik6WfJZEfKiBVQ/r1q8oguYT9VBoQX1YJM9LvWR2JQ32dDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T23:15:37.062730Z"},"content_sha256":"34e48438b6c23cb6fcf3d19f7db64e6b6363b883a46eacbb699d05e88dd55166","schema_version":"1.0","event_id":"sha256:34e48438b6c23cb6fcf3d19f7db64e6b6363b883a46eacbb699d05e88dd55166"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/bundle.json","state_url":"https://pith.science/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/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-15T23:15:37Z","links":{"resolver":"https://pith.science/pith/FCBC7ZEIV4GADABJJGCXDYSGYK","bundle":"https://pith.science/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/bundle.json","state":"https://pith.science/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FCBC7ZEIV4GADABJJGCXDYSGYK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FCBC7ZEIV4GADABJJGCXDYSGYK","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":"2221946f6fc094d68a22087f4c409d577f6819ebcc8a2a4ad9620cdde59090e9","cross_cats_sorted":["cs.CL","cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-17T19:18:23Z","title_canon_sha256":"44cab90a3ebffb69df169f3e54c649c643a5808cc698fbaa020bf27227525389"},"schema_version":"1.0","source":{"id":"2502.12275","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12275","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12275v2","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12275","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"FCBC7ZEIV4GA","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_16","alias_value":"FCBC7ZEIV4GADABJ","created_at":"2026-07-05T11:01:32Z"},{"alias_kind":"pith_short_8","alias_value":"FCBC7ZEI","created_at":"2026-07-05T11:01:32Z"}],"graph_snapshots":[{"event_id":"sha256:34e48438b6c23cb6fcf3d19f7db64e6b6363b883a46eacbb699d05e88dd55166","target":"graph","created_at":"2026-07-05T11:01:32Z","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.12275/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces ExKLoP, a novel framework designed to evaluate how effectively Large Language Models (LLMs) integrate expert knowledge into logical reasoning systems. This capability is especially valuable in engineering, where expert knowledge-such as manufacturer-recommended operational ranges-can be directly embedded into automated monitoring systems. By mirroring expert verification steps, tasks like range checking and constraint validation help ensure system safety and reliability. Our approach systematically evaluates LLM-generated logical rules, assessing both syntactic fluency an","authors_text":"Andre Freitas, Franciszek G\\'orski, Marco Valentino, Oskar Wysocki","cross_cats":["cs.CL","cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-17T19:18:23Z","title":"Integrating Expert Knowledge into Logical Programs via LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12275","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:cbf020bcb68ca8c746a426df74fad2ec939cdfe270de3a6e2ccf4fd5adb90375","target":"record","created_at":"2026-07-05T11:01:32Z","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":"2221946f6fc094d68a22087f4c409d577f6819ebcc8a2a4ad9620cdde59090e9","cross_cats_sorted":["cs.CL","cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-17T19:18:23Z","title_canon_sha256":"44cab90a3ebffb69df169f3e54c649c643a5808cc698fbaa020bf27227525389"},"schema_version":"1.0","source":{"id":"2502.12275","kind":"arxiv","version":2}},"canonical_sha256":"28822fe488af0c018029498571e246c2be39b806d2366bdb697b59c5d8d6422c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28822fe488af0c018029498571e246c2be39b806d2366bdb697b59c5d8d6422c","first_computed_at":"2026-07-05T11:01:32.045586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:01:32.045586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dkX60/Cd2FGoCD8X2ll54ZmajK/rJ6JHYcNk+O6fyV5+WYwIut7QgT8XlizGksKSUh2V3R/l7ZNvuFBTzz/wDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:01:32.046053Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.12275","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cbf020bcb68ca8c746a426df74fad2ec939cdfe270de3a6e2ccf4fd5adb90375","sha256:34e48438b6c23cb6fcf3d19f7db64e6b6363b883a46eacbb699d05e88dd55166"],"state_sha256":"62a25d81b9f7dc00768f1fe62882346fe7125ceaa5128cf7507495cc2f14ed6d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"57uauuo74dIC72TucRdIvsocWru/rU2YMEb+fvYu2/hOjZMw7kgfVamVgwrW+BfEb5Ja5s7HEImE4QtfMacfAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T23:15:37.067489Z","bundle_sha256":"8f6339e68314163142ca281c0515c93cf5a4ee56534155a4fae2372c6a80e326"}}