{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XT3THRULRJDE4TTQE3GZKADDQN","short_pith_number":"pith:XT3THRUL","canonical_record":{"source":{"id":"2506.18383","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-23T08:15:24Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3bf1297669b02552b418d4da5e10db713ad0f774bdfe771f821e0ba7cc19f8fa","abstract_canon_sha256":"27ea7d32ac3dc2752a390ece00cbf467053c2f30e3dcea9b9a35a7221c92719a"},"schema_version":"1.0"},"canonical_sha256":"bcf733c68b8a464e4e7026cd9500638355243a937738d7b0ca3227a433d29bc2","source":{"kind":"arxiv","id":"2506.18383","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18383","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18383v1","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18383","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_12","alias_value":"XT3THRULRJDE","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_16","alias_value":"XT3THRULRJDE4TTQ","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_8","alias_value":"XT3THRUL","created_at":"2026-07-05T11:25:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XT3THRULRJDE4TTQE3GZKADDQN","target":"record","payload":{"canonical_record":{"source":{"id":"2506.18383","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-23T08:15:24Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3bf1297669b02552b418d4da5e10db713ad0f774bdfe771f821e0ba7cc19f8fa","abstract_canon_sha256":"27ea7d32ac3dc2752a390ece00cbf467053c2f30e3dcea9b9a35a7221c92719a"},"schema_version":"1.0"},"canonical_sha256":"bcf733c68b8a464e4e7026cd9500638355243a937738d7b0ca3227a433d29bc2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:49.381965Z","signature_b64":"atgGXZCgkO2KxF4yGV7e53nE1UTafIwm9t+i7eV84GMCVbR42orvw7dxjHTzjGb4Mn42klO4VcwBj938vqNFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcf733c68b8a464e4e7026cd9500638355243a937738d7b0ca3227a433d29bc2","last_reissued_at":"2026-07-05T11:25:49.381487Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:49.381487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.18383","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-05T11:25:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MaHS/KwXitP/Qc9sRtkafTO1FYKFU0WdjHPxUArAQ3gzANmTT/JjAUj8p3BeG6SDEkXQ2Nt4+lAaME2ETJ1CAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:05:06.836641Z"},"content_sha256":"358d58bb76679431ef84225f3d8f760c95b9080fd4fbab6420f948bc79692225","schema_version":"1.0","event_id":"sha256:358d58bb76679431ef84225f3d8f760c95b9080fd4fbab6420f948bc79692225"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XT3THRULRJDE4TTQE3GZKADDQN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Deepanway Ghosal, Koushik Viswanadha, Somak Aditya","submitted_at":"2025-06-23T08:15:24Z","abstract_excerpt":"Logical reasoning is a key task for artificial intelligence due to it's role in major downstream tasks such as Question Answering, Summarization. Recent methods in improving the reasoning ability of LLMs fall short in correctly converting a natural language reasoning problem to an equivalent logical formulation, which hinders the framework's overall ability to reason. Towards this, we propose to use finetuning on a preference optimization dataset to learn to parse and represent a natural language problem as a whole to a consistent logical program by 1) introducing a new supervised and preferen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18383","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/2506.18383/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:25:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qu3ArnvOQpueaGUlDIhi07c26AFERzhOLDB7xX65FBFYcBFIWPN4pl/EOrMOSGnPeCVtLT095CnTL+Ypg67uBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:05:06.837136Z"},"content_sha256":"b3cfd743b698ca2ce1df47c90ec18e380c426e6c3825b8a1b58bbbead8884446","schema_version":"1.0","event_id":"sha256:b3cfd743b698ca2ce1df47c90ec18e380c426e6c3825b8a1b58bbbead8884446"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XT3THRULRJDE4TTQE3GZKADDQN/bundle.json","state_url":"https://pith.science/pith/XT3THRULRJDE4TTQE3GZKADDQN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XT3THRULRJDE4TTQE3GZKADDQN/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-07T08:05:06Z","links":{"resolver":"https://pith.science/pith/XT3THRULRJDE4TTQE3GZKADDQN","bundle":"https://pith.science/pith/XT3THRULRJDE4TTQE3GZKADDQN/bundle.json","state":"https://pith.science/pith/XT3THRULRJDE4TTQE3GZKADDQN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XT3THRULRJDE4TTQE3GZKADDQN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XT3THRULRJDE4TTQE3GZKADDQN","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":"27ea7d32ac3dc2752a390ece00cbf467053c2f30e3dcea9b9a35a7221c92719a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-23T08:15:24Z","title_canon_sha256":"3bf1297669b02552b418d4da5e10db713ad0f774bdfe771f821e0ba7cc19f8fa"},"schema_version":"1.0","source":{"id":"2506.18383","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18383","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18383v1","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18383","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_12","alias_value":"XT3THRULRJDE","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_16","alias_value":"XT3THRULRJDE4TTQ","created_at":"2026-07-05T11:25:49Z"},{"alias_kind":"pith_short_8","alias_value":"XT3THRUL","created_at":"2026-07-05T11:25:49Z"}],"graph_snapshots":[{"event_id":"sha256:b3cfd743b698ca2ce1df47c90ec18e380c426e6c3825b8a1b58bbbead8884446","target":"graph","created_at":"2026-07-05T11:25:49Z","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/2506.18383/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logical reasoning is a key task for artificial intelligence due to it's role in major downstream tasks such as Question Answering, Summarization. Recent methods in improving the reasoning ability of LLMs fall short in correctly converting a natural language reasoning problem to an equivalent logical formulation, which hinders the framework's overall ability to reason. Towards this, we propose to use finetuning on a preference optimization dataset to learn to parse and represent a natural language problem as a whole to a consistent logical program by 1) introducing a new supervised and preferen","authors_text":"Deepanway Ghosal, Koushik Viswanadha, Somak Aditya","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-23T08:15:24Z","title":"LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18383","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:358d58bb76679431ef84225f3d8f760c95b9080fd4fbab6420f948bc79692225","target":"record","created_at":"2026-07-05T11:25:49Z","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":"27ea7d32ac3dc2752a390ece00cbf467053c2f30e3dcea9b9a35a7221c92719a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-23T08:15:24Z","title_canon_sha256":"3bf1297669b02552b418d4da5e10db713ad0f774bdfe771f821e0ba7cc19f8fa"},"schema_version":"1.0","source":{"id":"2506.18383","kind":"arxiv","version":1}},"canonical_sha256":"bcf733c68b8a464e4e7026cd9500638355243a937738d7b0ca3227a433d29bc2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcf733c68b8a464e4e7026cd9500638355243a937738d7b0ca3227a433d29bc2","first_computed_at":"2026-07-05T11:25:49.381487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:49.381487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"atgGXZCgkO2KxF4yGV7e53nE1UTafIwm9t+i7eV84GMCVbR42orvw7dxjHTzjGb4Mn42klO4VcwBj938vqNFDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:49.381965Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.18383","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:358d58bb76679431ef84225f3d8f760c95b9080fd4fbab6420f948bc79692225","sha256:b3cfd743b698ca2ce1df47c90ec18e380c426e6c3825b8a1b58bbbead8884446"],"state_sha256":"94d429621e46f38651e823fa1cbffa19b60a42cc0f89fd66ba3afaf84ea9600c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U1XxvuuyJJZGCw/LB871BWuQmlveE/z5fLsMfgnajXJ+J8tDDsK6Hs/7k7YcXl5mQozmNzAZ9kv5r4wS3te7Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T08:05:06.841066Z","bundle_sha256":"bca1a343ffa8392219277b7c37b22af6ba5022f60ac4e5678d874ec2a33e29f3"}}