{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:LOGPNDE5PI62ZVCQMUN2UFFOC5","short_pith_number":"pith:LOGPNDE5","canonical_record":{"source":{"id":"2401.05777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-11T09:27:50Z","cross_cats_sorted":[],"title_canon_sha256":"51dbd368eb0dbcabb570f07be24e7cbb50a090f427892d5ab924f355a95ad1d1","abstract_canon_sha256":"0937ce612b3825822021e980c0a3ed0b44e4c0e1fc7bd15e05e27b1e78016ccb"},"schema_version":"1.0"},"canonical_sha256":"5b8cf68c9d7a3dacd450651baa14ae17437d12f7ce15ea757f11a7093115e84f","source":{"kind":"arxiv","id":"2401.05777","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05777","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05777v2","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05777","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"LOGPNDE5PI62","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"LOGPNDE5PI62ZVCQ","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"LOGPNDE5","created_at":"2026-07-05T08:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:LOGPNDE5PI62ZVCQMUN2UFFOC5","target":"record","payload":{"canonical_record":{"source":{"id":"2401.05777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-11T09:27:50Z","cross_cats_sorted":[],"title_canon_sha256":"51dbd368eb0dbcabb570f07be24e7cbb50a090f427892d5ab924f355a95ad1d1","abstract_canon_sha256":"0937ce612b3825822021e980c0a3ed0b44e4c0e1fc7bd15e05e27b1e78016ccb"},"schema_version":"1.0"},"canonical_sha256":"5b8cf68c9d7a3dacd450651baa14ae17437d12f7ce15ea757f11a7093115e84f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:31:46.382541Z","signature_b64":"gVoYCFHXlBqYxRUuLFi7fsl94cN/fR0KoUbYo42t2SdrxRBzAUltK3CDMV+MCPLlowORsw5bbexhYf/yK80dCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b8cf68c9d7a3dacd450651baa14ae17437d12f7ce15ea757f11a7093115e84f","last_reissued_at":"2026-07-05T08:31:46.382032Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:31:46.382032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.05777","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-05T08:31:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"19bpUVlemmhoVjL1XKDUpojLcAgbVn0yf72NIhbMhKkdHJOYcR7bB6R2E4Dz/GoQjo1OM5exCIp4a8K6kqNVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T10:20:20.263624Z"},"content_sha256":"abcc5f446fd6990163971714121378764cf2de733245a720bb148bbf75aeeeed","schema_version":"1.0","event_id":"sha256:abcc5f446fd6990163971714121378764cf2de733245a720bb148bbf75aeeeed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:LOGPNDE5PI62ZVCQMUN2UFFOC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jiaxin Shi, Jinxin Liu, Juanzi Li, Lei Hou, Linmei Hu, Lunyiu Nie, Shulin Cao, Tingjian Zhang","submitted_at":"2024-01-11T09:27:50Z","abstract_excerpt":"Knowledge Base Question Answering (KBQA) aims to answer natural language questions based on facts in knowledge bases. A typical approach to KBQA is semantic parsing, which translates a question into an executable logical form in a formal language. Recent works leverage the capabilities of large language models (LLMs) for logical form generation to improve performance. However, although it is validated that LLMs are capable of solving some KBQA problems, there has been little discussion on the differences in LLMs' proficiency in formal languages used in semantic parsing. In this work, we propos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05777","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/2401.05777/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-05T08:31:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n/lw+E0JB0f1aJET+8Tm5B7+K6UgJmoJbLddma7Tdk1SGcUxMtp0TYdrgynnV9ZsRFMWhOM6+soRpI14uf3HCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T10:20:20.264020Z"},"content_sha256":"0d7477768685b21446f0021150cd7dc3727ed64c5851b84b5c924c3cb6bd2b04","schema_version":"1.0","event_id":"sha256:0d7477768685b21446f0021150cd7dc3727ed64c5851b84b5c924c3cb6bd2b04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/bundle.json","state_url":"https://pith.science/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/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-07-06T10:20:20Z","links":{"resolver":"https://pith.science/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5","bundle":"https://pith.science/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/bundle.json","state":"https://pith.science/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LOGPNDE5PI62ZVCQMUN2UFFOC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:LOGPNDE5PI62ZVCQMUN2UFFOC5","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":"0937ce612b3825822021e980c0a3ed0b44e4c0e1fc7bd15e05e27b1e78016ccb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-11T09:27:50Z","title_canon_sha256":"51dbd368eb0dbcabb570f07be24e7cbb50a090f427892d5ab924f355a95ad1d1"},"schema_version":"1.0","source":{"id":"2401.05777","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05777","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05777v2","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05777","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"LOGPNDE5PI62","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"LOGPNDE5PI62ZVCQ","created_at":"2026-07-05T08:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"LOGPNDE5","created_at":"2026-07-05T08:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:0d7477768685b21446f0021150cd7dc3727ed64c5851b84b5c924c3cb6bd2b04","target":"graph","created_at":"2026-07-05T08:31:46Z","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/2401.05777/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge Base Question Answering (KBQA) aims to answer natural language questions based on facts in knowledge bases. A typical approach to KBQA is semantic parsing, which translates a question into an executable logical form in a formal language. Recent works leverage the capabilities of large language models (LLMs) for logical form generation to improve performance. However, although it is validated that LLMs are capable of solving some KBQA problems, there has been little discussion on the differences in LLMs' proficiency in formal languages used in semantic parsing. In this work, we propos","authors_text":"Jiaxin Shi, Jinxin Liu, Juanzi Li, Lei Hou, Linmei Hu, Lunyiu Nie, Shulin Cao, Tingjian Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-11T09:27:50Z","title":"How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05777","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:abcc5f446fd6990163971714121378764cf2de733245a720bb148bbf75aeeeed","target":"record","created_at":"2026-07-05T08:31:46Z","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":"0937ce612b3825822021e980c0a3ed0b44e4c0e1fc7bd15e05e27b1e78016ccb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-11T09:27:50Z","title_canon_sha256":"51dbd368eb0dbcabb570f07be24e7cbb50a090f427892d5ab924f355a95ad1d1"},"schema_version":"1.0","source":{"id":"2401.05777","kind":"arxiv","version":2}},"canonical_sha256":"5b8cf68c9d7a3dacd450651baa14ae17437d12f7ce15ea757f11a7093115e84f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b8cf68c9d7a3dacd450651baa14ae17437d12f7ce15ea757f11a7093115e84f","first_computed_at":"2026-07-05T08:31:46.382032Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:31:46.382032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gVoYCFHXlBqYxRUuLFi7fsl94cN/fR0KoUbYo42t2SdrxRBzAUltK3CDMV+MCPLlowORsw5bbexhYf/yK80dCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:31:46.382541Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.05777","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:abcc5f446fd6990163971714121378764cf2de733245a720bb148bbf75aeeeed","sha256:0d7477768685b21446f0021150cd7dc3727ed64c5851b84b5c924c3cb6bd2b04"],"state_sha256":"da5ce85f17d120d0b678fe27e1d06273c20d554c5835f236777d7ea5a6ce0f1e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDzX22pS/iet/879j7Nzq0h/dzW3jfLAHr2aowJ9Ufd53B+sgBqOZ1CtTh9nTNdiYTkwcchSTS8mEJQ7vAPcDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T10:20:20.265934Z","bundle_sha256":"e130de9bade26172af1e9da50eec88c8d9cba8c835629c9acc9aa0ed13cbafad"}}