{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KIJMI6S2UO4OOHLLDZ2LL54L5W","short_pith_number":"pith:KIJMI6S2","canonical_record":{"source":{"id":"2602.13237","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-01-29T14:51:32Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"5c9cf3d71ac73bd54469b7df1e42aa51931d085657437d9876cfdfdb1590c793","abstract_canon_sha256":"24d7159b809ac1e107e2b1c491cbb633090a78d3780fb5234173a0e40269553e"},"schema_version":"1.0"},"canonical_sha256":"5212c47a5aa3b8e71d6b1e74b5f78bedb88e7e87d16a63ad23a0589fdabbafc1","source":{"kind":"arxiv","id":"2602.13237","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.13237","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2602.13237v1","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.13237","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"KIJMI6S2UO4O","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"KIJMI6S2UO4OOHLL","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"KIJMI6S2","created_at":"2026-07-20T00:18:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KIJMI6S2UO4OOHLLDZ2LL54L5W","target":"record","payload":{"canonical_record":{"source":{"id":"2602.13237","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-01-29T14:51:32Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"5c9cf3d71ac73bd54469b7df1e42aa51931d085657437d9876cfdfdb1590c793","abstract_canon_sha256":"24d7159b809ac1e107e2b1c491cbb633090a78d3780fb5234173a0e40269553e"},"schema_version":"1.0"},"canonical_sha256":"5212c47a5aa3b8e71d6b1e74b5f78bedb88e7e87d16a63ad23a0589fdabbafc1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T00:18:18.624093Z","signature_b64":"gcnOmH1qPMwx4lRfL0pOCywMO3A8lghvRmIU3tN+NjEqV26pVcuc0gAKaLv8QJCnXCpGqoPH/pS26JPDa2C5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5212c47a5aa3b8e71d6b1e74b5f78bedb88e7e87d16a63ad23a0589fdabbafc1","last_reissued_at":"2026-07-20T00:18:18.623041Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T00:18:18.623041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.13237","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-20T00:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/mu86SYZ2UBNNbGqAREWAKeEazFgI2AFv6W5zPq8hoA0Wzdrmdh2v5gbiV/cnyUd0Z5zJClTBFSWn4gkijrpBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T19:46:10.583184Z"},"content_sha256":"85dadaf88bb07707147de3d45aea3716f2d290032aba8c384ec2ab4a9fe61411","schema_version":"1.0","event_id":"sha256:85dadaf88bb07707147de3d45aea3716f2d290032aba8c384ec2ab4a9fe61411"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KIJMI6S2UO4OOHLLDZ2LL54L5W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Peng Gao, Raihan Sultan Pasha Basuki, Rizky Ramadhana Putra, Yutong Cheng","submitted_at":"2026-01-29T14:51:32Z","abstract_excerpt":"Automated reasoning is critical in domains such as law and governance, where verifying claims against facts in documents requires both accuracy and interpretability. Recent work adopts structured reasoning pipelines that translate natural language into first-order logic and delegate inference to automated solvers. With the rise of large language models, approaches such as GCD and CODE4LOGIC leverage their reasoning and code generation capabilities to improve logic parsing. However, these methods suffer from fragile syntax control due to weak enforcement of global grammar constraints and low se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.13237","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/2602.13237/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-20T00:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+c2yWrq8ulOoTpjwBC4ppSnMV7uw5Dqp4dl2Jr6/v+Ua5OmUxeYq5rxqjlYBiaM72U1BWd0vzPQFGF9+xs0PAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T19:46:10.583724Z"},"content_sha256":"d1f3501a84fbb6e665adb89b6b801aa1b54f8da3d95617b2fbb7fd87eed9f109","schema_version":"1.0","event_id":"sha256:d1f3501a84fbb6e665adb89b6b801aa1b54f8da3d95617b2fbb7fd87eed9f109"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/bundle.json","state_url":"https://pith.science/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/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-05T19:46:10Z","links":{"resolver":"https://pith.science/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W","bundle":"https://pith.science/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/bundle.json","state":"https://pith.science/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KIJMI6S2UO4OOHLLDZ2LL54L5W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KIJMI6S2UO4OOHLLDZ2LL54L5W","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":"24d7159b809ac1e107e2b1c491cbb633090a78d3780fb5234173a0e40269553e","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-01-29T14:51:32Z","title_canon_sha256":"5c9cf3d71ac73bd54469b7df1e42aa51931d085657437d9876cfdfdb1590c793"},"schema_version":"1.0","source":{"id":"2602.13237","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.13237","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2602.13237v1","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.13237","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"KIJMI6S2UO4O","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"KIJMI6S2UO4OOHLL","created_at":"2026-07-20T00:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"KIJMI6S2","created_at":"2026-07-20T00:18:18Z"}],"graph_snapshots":[{"event_id":"sha256:d1f3501a84fbb6e665adb89b6b801aa1b54f8da3d95617b2fbb7fd87eed9f109","target":"graph","created_at":"2026-07-20T00:18:18Z","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/2602.13237/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated reasoning is critical in domains such as law and governance, where verifying claims against facts in documents requires both accuracy and interpretability. Recent work adopts structured reasoning pipelines that translate natural language into first-order logic and delegate inference to automated solvers. With the rise of large language models, approaches such as GCD and CODE4LOGIC leverage their reasoning and code generation capabilities to improve logic parsing. However, these methods suffer from fragile syntax control due to weak enforcement of global grammar constraints and low se","authors_text":"Peng Gao, Raihan Sultan Pasha Basuki, Rizky Ramadhana Putra, Yutong Cheng","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-01-29T14:51:32Z","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.13237","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:85dadaf88bb07707147de3d45aea3716f2d290032aba8c384ec2ab4a9fe61411","target":"record","created_at":"2026-07-20T00:18:18Z","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":"24d7159b809ac1e107e2b1c491cbb633090a78d3780fb5234173a0e40269553e","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-01-29T14:51:32Z","title_canon_sha256":"5c9cf3d71ac73bd54469b7df1e42aa51931d085657437d9876cfdfdb1590c793"},"schema_version":"1.0","source":{"id":"2602.13237","kind":"arxiv","version":1}},"canonical_sha256":"5212c47a5aa3b8e71d6b1e74b5f78bedb88e7e87d16a63ad23a0589fdabbafc1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5212c47a5aa3b8e71d6b1e74b5f78bedb88e7e87d16a63ad23a0589fdabbafc1","first_computed_at":"2026-07-20T00:18:18.623041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T00:18:18.623041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gcnOmH1qPMwx4lRfL0pOCywMO3A8lghvRmIU3tN+NjEqV26pVcuc0gAKaLv8QJCnXCpGqoPH/pS26JPDa2C5Dg==","signature_status":"signed_v1","signed_at":"2026-07-20T00:18:18.624093Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.13237","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85dadaf88bb07707147de3d45aea3716f2d290032aba8c384ec2ab4a9fe61411","sha256:d1f3501a84fbb6e665adb89b6b801aa1b54f8da3d95617b2fbb7fd87eed9f109"],"state_sha256":"1bca787fde125d65a73a79aa80710358df76848b599c4851df813a036e59b2a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tk5RN6imyzJm29sACdjohYZy8f+BhfEKT6IkQ5scm7oPksZ+5Gl8rypi92MBljReLFn//C+pK3njDLe1f78RBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T19:46:10.590764Z","bundle_sha256":"8bd5bc5dd1258ae7c0dba6aaa026110d9ca2939fd913011eb1bab9443faa8ba5"}}