{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5BTGFUQWMAIOLV3IGHXM6WCOGK","short_pith_number":"pith:5BTGFUQW","canonical_record":{"source":{"id":"2509.04083","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T10:25:50Z","cross_cats_sorted":[],"title_canon_sha256":"9c3ffefab4bf0c9b122458021849fc766b99f89894c9a8926c28f45cb4456771","abstract_canon_sha256":"711bf3f9ca4b25c20c1237805a0257a0d15aed84cfdc9bb9f853fd30cf41d074"},"schema_version":"1.0"},"canonical_sha256":"e86662d2166010e5d76831eecf584e3294fe3d3f73bef3a28716236abbefd575","source":{"kind":"arxiv","id":"2509.04083","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04083","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04083v1","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04083","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"5BTGFUQWMAIO","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"5BTGFUQWMAIOLV3I","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"5BTGFUQW","created_at":"2026-07-05T12:04:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5BTGFUQWMAIOLV3IGHXM6WCOGK","target":"record","payload":{"canonical_record":{"source":{"id":"2509.04083","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T10:25:50Z","cross_cats_sorted":[],"title_canon_sha256":"9c3ffefab4bf0c9b122458021849fc766b99f89894c9a8926c28f45cb4456771","abstract_canon_sha256":"711bf3f9ca4b25c20c1237805a0257a0d15aed84cfdc9bb9f853fd30cf41d074"},"schema_version":"1.0"},"canonical_sha256":"e86662d2166010e5d76831eecf584e3294fe3d3f73bef3a28716236abbefd575","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:53.201199Z","signature_b64":"zzpKh7LCy5JwU15rCTMwQpdULptO5SikjIjc0tZcQRQmJDgsfxhIseHy4JlE8SYbTR5ShmN5RzL+Csuz9kLKDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e86662d2166010e5d76831eecf584e3294fe3d3f73bef3a28716236abbefd575","last_reissued_at":"2026-07-05T12:04:53.200667Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:53.200667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.04083","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-05T12:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mwlbyiNBvwA8inqGxGDsx0O0KSq0bixI0aMC/T5qsVPn4h+huPo1g9PZZq6IsFj8hM5aQ/8FGofgmpDaSJwWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:19:56.256636Z"},"content_sha256":"9854c44c82a10aee91724941027d447b61e5146f4aca0578039e0922757699bb","schema_version":"1.0","event_id":"sha256:9854c44c82a10aee91724941027d447b61e5146f4aca0578039e0922757699bb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5BTGFUQWMAIOLV3IGHXM6WCOGK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Beiser, David Penz, Nysret Musliu","submitted_at":"2025-09-04T10:25:50Z","abstract_excerpt":"Large language models (LLMs) achieve astonishing results on a wide range of tasks. However, their formal reasoning ability still lags behind. A promising approach is Neurosymbolic LLM reasoning. It works by using LLMs as translators from natural to formal languages and symbolic solvers for deriving correct results. Still, the contributing factors to the success of Neurosymbolic LLM reasoning remain unclear. This paper demonstrates that one previously overlooked factor is the choice of the formal language. We introduce the intermediate language challenge: selecting a suitable formal language fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04083","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/2509.04083/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-05T12:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SYFovt8EEPfjTe2skycFkIbuw0xi9Hv3/uX7OB4tMItYrKgXVPlSFWQ8nniZt7lUqOlyxUhwp86zo+JL5xGZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:19:56.257173Z"},"content_sha256":"2cdb323bd6a484ccab22e819926f68200318d5971a021a4d161a81a1296e15c9","schema_version":"1.0","event_id":"sha256:2cdb323bd6a484ccab22e819926f68200318d5971a021a4d161a81a1296e15c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/bundle.json","state_url":"https://pith.science/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/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-06T08:19:56Z","links":{"resolver":"https://pith.science/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK","bundle":"https://pith.science/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/bundle.json","state":"https://pith.science/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5BTGFUQWMAIOLV3IGHXM6WCOGK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5BTGFUQWMAIOLV3IGHXM6WCOGK","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":"711bf3f9ca4b25c20c1237805a0257a0d15aed84cfdc9bb9f853fd30cf41d074","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T10:25:50Z","title_canon_sha256":"9c3ffefab4bf0c9b122458021849fc766b99f89894c9a8926c28f45cb4456771"},"schema_version":"1.0","source":{"id":"2509.04083","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04083","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04083v1","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04083","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"5BTGFUQWMAIO","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"5BTGFUQWMAIOLV3I","created_at":"2026-07-05T12:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"5BTGFUQW","created_at":"2026-07-05T12:04:53Z"}],"graph_snapshots":[{"event_id":"sha256:2cdb323bd6a484ccab22e819926f68200318d5971a021a4d161a81a1296e15c9","target":"graph","created_at":"2026-07-05T12:04: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/2509.04083/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) achieve astonishing results on a wide range of tasks. However, their formal reasoning ability still lags behind. A promising approach is Neurosymbolic LLM reasoning. It works by using LLMs as translators from natural to formal languages and symbolic solvers for deriving correct results. Still, the contributing factors to the success of Neurosymbolic LLM reasoning remain unclear. This paper demonstrates that one previously overlooked factor is the choice of the formal language. We introduce the intermediate language challenge: selecting a suitable formal language fo","authors_text":"Alexander Beiser, David Penz, Nysret Musliu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04083","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:9854c44c82a10aee91724941027d447b61e5146f4aca0578039e0922757699bb","target":"record","created_at":"2026-07-05T12:04: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":"711bf3f9ca4b25c20c1237805a0257a0d15aed84cfdc9bb9f853fd30cf41d074","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T10:25:50Z","title_canon_sha256":"9c3ffefab4bf0c9b122458021849fc766b99f89894c9a8926c28f45cb4456771"},"schema_version":"1.0","source":{"id":"2509.04083","kind":"arxiv","version":1}},"canonical_sha256":"e86662d2166010e5d76831eecf584e3294fe3d3f73bef3a28716236abbefd575","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e86662d2166010e5d76831eecf584e3294fe3d3f73bef3a28716236abbefd575","first_computed_at":"2026-07-05T12:04:53.200667Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:04:53.200667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zzpKh7LCy5JwU15rCTMwQpdULptO5SikjIjc0tZcQRQmJDgsfxhIseHy4JlE8SYbTR5ShmN5RzL+Csuz9kLKDg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:04:53.201199Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04083","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9854c44c82a10aee91724941027d447b61e5146f4aca0578039e0922757699bb","sha256:2cdb323bd6a484ccab22e819926f68200318d5971a021a4d161a81a1296e15c9"],"state_sha256":"14573446c522e6655b3aa34b3faa3fe91060a3b052f928cf4ab543da0071bfa0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EBVpWtBRphb4v0CS48RsEsnL0DuSAHAWPEewNyHLHDj5Izxlf1vU/OuumhouJ5aqsek+fu8UJBt0rtzT+4fFDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T08:19:56.263244Z","bundle_sha256":"cffd504f9e0bff108afdaf013b3900b734c882d03570db30f1fc20e63d828cac"}}