{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7CQGLUOGV7Z2FWVAW6GHYXS6AW","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":"5451a4c238355177fb214494dcc1289985d762a6aa21d6d926620ece0ba4eb65","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-24T14:49:52Z","title_canon_sha256":"0664c5f0123722d6b8f0a595437cc1857f0b0171120180a44fdb64dfde7a0d41"},"schema_version":"1.0","source":{"id":"2502.17216","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.17216","created_at":"2026-07-05T11:06:28Z"},{"alias_kind":"arxiv_version","alias_value":"2502.17216v2","created_at":"2026-07-05T11:06:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.17216","created_at":"2026-07-05T11:06:28Z"},{"alias_kind":"pith_short_12","alias_value":"7CQGLUOGV7Z2","created_at":"2026-07-05T11:06:28Z"},{"alias_kind":"pith_short_16","alias_value":"7CQGLUOGV7Z2FWVA","created_at":"2026-07-05T11:06:28Z"},{"alias_kind":"pith_short_8","alias_value":"7CQGLUOG","created_at":"2026-07-05T11:06:28Z"}],"graph_snapshots":[{"event_id":"sha256:5e0c49888bc270b6638db4f9b63c20fb19ae2bda296666ce3c9a941959664791","target":"graph","created_at":"2026-07-05T11:06:28Z","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/2502.17216/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, it remains unclear what the contributing factors to the success of Neurosymbolic LLM reasoning are. This paper shows that one important factor is the choice of the formal language. By comparing 4 formal languages on 3 datasets over 6 LLMs, we show that the choice of formal la","authors_text":"Alexander Beiser, David Penz, Nysret Musliu","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-24T14:49:52Z","title":"Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.17216","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:7bd88c28338b82a554a5724911fa2c6e19a61676536c63c8b8c390a3d1a3725f","target":"record","created_at":"2026-07-05T11:06:28Z","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":"5451a4c238355177fb214494dcc1289985d762a6aa21d6d926620ece0ba4eb65","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-02-24T14:49:52Z","title_canon_sha256":"0664c5f0123722d6b8f0a595437cc1857f0b0171120180a44fdb64dfde7a0d41"},"schema_version":"1.0","source":{"id":"2502.17216","kind":"arxiv","version":2}},"canonical_sha256":"f8a065d1c6aff3a2daa0b78c7c5e5e0599b9aba5ac70c59a53c5e9da615f085d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8a065d1c6aff3a2daa0b78c7c5e5e0599b9aba5ac70c59a53c5e9da615f085d","first_computed_at":"2026-07-05T11:06:28.778661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:28.778661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VqLRDS7rXDdRteP4dRt05PvIXeNakxtK9gqZuTgb5vyRApf/mUelYexIO7+5qJzJm7oGd2Lt8P2CTN+iqUVDAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:28.779160Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.17216","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7bd88c28338b82a554a5724911fa2c6e19a61676536c63c8b8c390a3d1a3725f","sha256:5e0c49888bc270b6638db4f9b63c20fb19ae2bda296666ce3c9a941959664791"],"state_sha256":"c03aa3567b5573fa0746aed213b3b07cbab050785cbc8011eb34b59d7036e865"}