{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4HZA3OE6EAJYR3N3CRSBRI43BL","short_pith_number":"pith:4HZA3OE6","canonical_record":{"source":{"id":"2409.16461","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-24T21:24:07Z","cross_cats_sorted":[],"title_canon_sha256":"b3729728353667c70678e42cd7ca88f482fe99c41a0f925af2c5b4831807684a","abstract_canon_sha256":"c4c55035a8e470a530c1bc7819b946be3b1b20ee15f40ca510111e618ff1da39"},"schema_version":"1.0"},"canonical_sha256":"e1f20db89e201388edbb146418a39b0ac82dafafb65adb8693ceed4608e90332","source":{"kind":"arxiv","id":"2409.16461","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.16461","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"arxiv_version","alias_value":"2409.16461v1","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.16461","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_12","alias_value":"4HZA3OE6EAJY","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_16","alias_value":"4HZA3OE6EAJYR3N3","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_8","alias_value":"4HZA3OE6","created_at":"2026-07-05T09:11:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4HZA3OE6EAJYR3N3CRSBRI43BL","target":"record","payload":{"canonical_record":{"source":{"id":"2409.16461","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-24T21:24:07Z","cross_cats_sorted":[],"title_canon_sha256":"b3729728353667c70678e42cd7ca88f482fe99c41a0f925af2c5b4831807684a","abstract_canon_sha256":"c4c55035a8e470a530c1bc7819b946be3b1b20ee15f40ca510111e618ff1da39"},"schema_version":"1.0"},"canonical_sha256":"e1f20db89e201388edbb146418a39b0ac82dafafb65adb8693ceed4608e90332","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:11:34.192587Z","signature_b64":"mrJGVS6e+5Nh96ijVxIDAE5tfeWM0ZtrNF5lMbf0R0fgjU3bsA3SHQWaDR7oawoy3TBw3tFA/gSE2ouUBgABBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1f20db89e201388edbb146418a39b0ac82dafafb65adb8693ceed4608e90332","last_reissued_at":"2026-07-05T09:11:34.192102Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:11:34.192102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.16461","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-05T09:11:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FGIOJAhFkq6hDKjq85QbzFnHiMelf07ARqirJ+mkKS0znBipdF6tzRcdQle0fmeYp8Ae0zHMOboaRfbQMYeQAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:14:48.116116Z"},"content_sha256":"3b24d4bca034381e1b4607d0eb39cee63cf2ea637098fdda40f8c1d4451a0ee5","schema_version":"1.0","event_id":"sha256:3b24d4bca034381e1b4607d0eb39cee63cf2ea637098fdda40f8c1d4451a0ee5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4HZA3OE6EAJYR3N3CRSBRI43BL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Ehsan Shareghi, Jiuzhou Han, Ramya Keerthy Thatikonda, Wray Buntine","submitted_at":"2024-09-24T21:24:07Z","abstract_excerpt":"Logical reasoning is a fundamental task in natural language processing that presents significant challenges to Large Language Models (LLMs). The inherent characteristics of logical reasoning makes it well-suited for symbolic representations such as first-order logic (FOL). Research in symbolic logical reasoning explored FOL generation using state-of-the-art LLMs (i.e., GPT-4) to produce FOL translations of natural language (NL) statements, but errors in translation are usually not the focus. We address this by categorizing the translation errors in FOL statements generated by LLMs. To make pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.16461","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/2409.16461/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-05T09:11:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C2ilojLDv+elpNKb+bCu2tm9FAqhLjtRI3BxW4q9sZMyRxeFTkD6wdBDXVwigHIaWZBJWjapuObYIq12UBA2Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:14:48.116968Z"},"content_sha256":"77c78229905b1c5cf3f3dbac3a312f76497902c5a3d57f813fffb5f4f51a62c6","schema_version":"1.0","event_id":"sha256:77c78229905b1c5cf3f3dbac3a312f76497902c5a3d57f813fffb5f4f51a62c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/bundle.json","state_url":"https://pith.science/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/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-10T17:14:48Z","links":{"resolver":"https://pith.science/pith/4HZA3OE6EAJYR3N3CRSBRI43BL","bundle":"https://pith.science/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/bundle.json","state":"https://pith.science/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4HZA3OE6EAJYR3N3CRSBRI43BL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4HZA3OE6EAJYR3N3CRSBRI43BL","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":"c4c55035a8e470a530c1bc7819b946be3b1b20ee15f40ca510111e618ff1da39","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-24T21:24:07Z","title_canon_sha256":"b3729728353667c70678e42cd7ca88f482fe99c41a0f925af2c5b4831807684a"},"schema_version":"1.0","source":{"id":"2409.16461","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.16461","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"arxiv_version","alias_value":"2409.16461v1","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.16461","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_12","alias_value":"4HZA3OE6EAJY","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_16","alias_value":"4HZA3OE6EAJYR3N3","created_at":"2026-07-05T09:11:34Z"},{"alias_kind":"pith_short_8","alias_value":"4HZA3OE6","created_at":"2026-07-05T09:11:34Z"}],"graph_snapshots":[{"event_id":"sha256:77c78229905b1c5cf3f3dbac3a312f76497902c5a3d57f813fffb5f4f51a62c6","target":"graph","created_at":"2026-07-05T09:11:34Z","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/2409.16461/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logical reasoning is a fundamental task in natural language processing that presents significant challenges to Large Language Models (LLMs). The inherent characteristics of logical reasoning makes it well-suited for symbolic representations such as first-order logic (FOL). Research in symbolic logical reasoning explored FOL generation using state-of-the-art LLMs (i.e., GPT-4) to produce FOL translations of natural language (NL) statements, but errors in translation are usually not the focus. We address this by categorizing the translation errors in FOL statements generated by LLMs. To make pro","authors_text":"Ehsan Shareghi, Jiuzhou Han, Ramya Keerthy Thatikonda, Wray Buntine","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.16461","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:3b24d4bca034381e1b4607d0eb39cee63cf2ea637098fdda40f8c1d4451a0ee5","target":"record","created_at":"2026-07-05T09:11:34Z","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":"c4c55035a8e470a530c1bc7819b946be3b1b20ee15f40ca510111e618ff1da39","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-24T21:24:07Z","title_canon_sha256":"b3729728353667c70678e42cd7ca88f482fe99c41a0f925af2c5b4831807684a"},"schema_version":"1.0","source":{"id":"2409.16461","kind":"arxiv","version":1}},"canonical_sha256":"e1f20db89e201388edbb146418a39b0ac82dafafb65adb8693ceed4608e90332","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1f20db89e201388edbb146418a39b0ac82dafafb65adb8693ceed4608e90332","first_computed_at":"2026-07-05T09:11:34.192102Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:11:34.192102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mrJGVS6e+5Nh96ijVxIDAE5tfeWM0ZtrNF5lMbf0R0fgjU3bsA3SHQWaDR7oawoy3TBw3tFA/gSE2ouUBgABBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:11:34.192587Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.16461","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b24d4bca034381e1b4607d0eb39cee63cf2ea637098fdda40f8c1d4451a0ee5","sha256:77c78229905b1c5cf3f3dbac3a312f76497902c5a3d57f813fffb5f4f51a62c6"],"state_sha256":"85d0c936d54948b86467aa283a3e4f5afba9fd4711b9b8e7703d89e474ce67f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gnAKTN33R8Ei89F5NAA0Z+vxvUjTFut6OEU71noSHgWzxoCVtl7L2bqzmDmElN3rRD/a0kcndVg5FS90bbDaCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T17:14:48.123902Z","bundle_sha256":"83356a37c722c34647c2eccc9475798ff8fe1bca19b5daafc4e1606ada0db65e"}}