{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:L5JNTRQUQUCX2BFXOCWA2EUZIY","short_pith_number":"pith:L5JNTRQU","canonical_record":{"source":{"id":"2501.14649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-24T17:15:09Z","cross_cats_sorted":[],"title_canon_sha256":"320efa761ba66a3229a97fdf8e51575bc1a3378cdd05f1a8281cf50ca1f4405e","abstract_canon_sha256":"e457dd41d081a6b0c9b946c46a504fe1d238c56964d2405203373c0608349e70"},"schema_version":"1.0"},"canonical_sha256":"5f52d9c61485057d04b770ac0d1299461f02df89f3baa7e753391f4608fca6f0","source":{"kind":"arxiv","id":"2501.14649","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14649","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14649v2","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14649","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"L5JNTRQUQUCX","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_16","alias_value":"L5JNTRQUQUCX2BFX","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_8","alias_value":"L5JNTRQU","created_at":"2026-07-05T10:17:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:L5JNTRQUQUCX2BFXOCWA2EUZIY","target":"record","payload":{"canonical_record":{"source":{"id":"2501.14649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-24T17:15:09Z","cross_cats_sorted":[],"title_canon_sha256":"320efa761ba66a3229a97fdf8e51575bc1a3378cdd05f1a8281cf50ca1f4405e","abstract_canon_sha256":"e457dd41d081a6b0c9b946c46a504fe1d238c56964d2405203373c0608349e70"},"schema_version":"1.0"},"canonical_sha256":"5f52d9c61485057d04b770ac0d1299461f02df89f3baa7e753391f4608fca6f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:17:53.336812Z","signature_b64":"cliAByjOJhgzv7bsixDCyd+2l3+3oGSbVbaSQSnN51rIoVi36mxeILU/2UfKTHZb+4YjpTwzLS9419LuAtp6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f52d9c61485057d04b770ac0d1299461f02df89f3baa7e753391f4608fca6f0","last_reissued_at":"2026-07-05T10:17:53.336310Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:17:53.336310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.14649","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-05T10:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cWBlpzieXKWya9ONo7erf+BYExQ8+/144rJf8sA2AD3e3JrtjBt29QnVr8h/pnlQfsojDxy3fUamXR5zjP3kBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T17:34:36.763777Z"},"content_sha256":"d256b03b0eec78e3f20a031c10e7c8a01a7c06ed71aac52852408499ae0e1ba9","schema_version":"1.0","event_id":"sha256:d256b03b0eec78e3f20a031c10e7c8a01a7c06ed71aac52852408499ae0e1ba9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:L5JNTRQUQUCX2BFXOCWA2EUZIY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Houfeng Wang, Ziyao Xu","submitted_at":"2025-01-24T17:15:09Z","abstract_excerpt":"To achieve generalized and robust natural-to-formal language conversion (N2F), large language models (LLMs) need to have strong capabilities of decomposition and composition in N2F when faced with an unfamiliar formal language and be able to cope with compositional gaps and counter-intuitive symbolic names. To investigate whether LLMs have this set of basic capabilities in N2F, we propose the DEDC framework. This framework semi-automatically performs sample and task construction, allowing decoupled evaluation of the set of decomposition and composition capabilities of LLMs in N2F. Based on thi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14649","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/2501.14649/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-05T10:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"my/LUg+Bv1lX1qwLj9r5oQ0/G5RFWWRjvQk80sDy/Fe32jVDyieO5kkG9G9P4XiJBA7kQ34aLZVtdxlt37wqAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T17:34:36.764496Z"},"content_sha256":"b42213e37b6f47b5932b4d73043bfc9482bdefcfc31c7d69f976337595324705","schema_version":"1.0","event_id":"sha256:b42213e37b6f47b5932b4d73043bfc9482bdefcfc31c7d69f976337595324705"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/bundle.json","state_url":"https://pith.science/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/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-12T17:34:36Z","links":{"resolver":"https://pith.science/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY","bundle":"https://pith.science/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/bundle.json","state":"https://pith.science/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L5JNTRQUQUCX2BFXOCWA2EUZIY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:L5JNTRQUQUCX2BFXOCWA2EUZIY","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":"e457dd41d081a6b0c9b946c46a504fe1d238c56964d2405203373c0608349e70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-24T17:15:09Z","title_canon_sha256":"320efa761ba66a3229a97fdf8e51575bc1a3378cdd05f1a8281cf50ca1f4405e"},"schema_version":"1.0","source":{"id":"2501.14649","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14649","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14649v2","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14649","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"L5JNTRQUQUCX","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_16","alias_value":"L5JNTRQUQUCX2BFX","created_at":"2026-07-05T10:17:53Z"},{"alias_kind":"pith_short_8","alias_value":"L5JNTRQU","created_at":"2026-07-05T10:17:53Z"}],"graph_snapshots":[{"event_id":"sha256:b42213e37b6f47b5932b4d73043bfc9482bdefcfc31c7d69f976337595324705","target":"graph","created_at":"2026-07-05T10:17:53Z","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/2501.14649/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To achieve generalized and robust natural-to-formal language conversion (N2F), large language models (LLMs) need to have strong capabilities of decomposition and composition in N2F when faced with an unfamiliar formal language and be able to cope with compositional gaps and counter-intuitive symbolic names. To investigate whether LLMs have this set of basic capabilities in N2F, we propose the DEDC framework. This framework semi-automatically performs sample and task construction, allowing decoupled evaluation of the set of decomposition and composition capabilities of LLMs in N2F. Based on thi","authors_text":"Houfeng Wang, Ziyao Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14649","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:d256b03b0eec78e3f20a031c10e7c8a01a7c06ed71aac52852408499ae0e1ba9","target":"record","created_at":"2026-07-05T10:17:53Z","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":"e457dd41d081a6b0c9b946c46a504fe1d238c56964d2405203373c0608349e70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-24T17:15:09Z","title_canon_sha256":"320efa761ba66a3229a97fdf8e51575bc1a3378cdd05f1a8281cf50ca1f4405e"},"schema_version":"1.0","source":{"id":"2501.14649","kind":"arxiv","version":2}},"canonical_sha256":"5f52d9c61485057d04b770ac0d1299461f02df89f3baa7e753391f4608fca6f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f52d9c61485057d04b770ac0d1299461f02df89f3baa7e753391f4608fca6f0","first_computed_at":"2026-07-05T10:17:53.336310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:17:53.336310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cliAByjOJhgzv7bsixDCyd+2l3+3oGSbVbaSQSnN51rIoVi36mxeILU/2UfKTHZb+4YjpTwzLS9419LuAtp6Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:17:53.336812Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.14649","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d256b03b0eec78e3f20a031c10e7c8a01a7c06ed71aac52852408499ae0e1ba9","sha256:b42213e37b6f47b5932b4d73043bfc9482bdefcfc31c7d69f976337595324705"],"state_sha256":"02042226e8f4be1875cfbec190dcbd065036c8b4ead14d109c4dcbbada514f83"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EC8jOYSJdu/qB8LWu8NO3HxOon0EOYQj6Ob2KW01XkyVFD3MUNtTmyiBYyVWGX9Q2BS7bsMeQg7xdVPkh/67BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T17:34:36.769394Z","bundle_sha256":"567f99e2c7fd0b3ca89eb2c2087b3288b975572c64f06791f7c5dbbe47263e94"}}