{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GXXPTHFKXFUGLY6IRGYUL6R3AB","short_pith_number":"pith:GXXPTHFK","canonical_record":{"source":{"id":"2506.02483","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-03T05:54:20Z","cross_cats_sorted":[],"title_canon_sha256":"87278525fbf644616746f314677521ad9966be1e28770455d08372172c4be5db","abstract_canon_sha256":"a7a4c3d24f77fdd70e0e8533033e1b422f493d2b8be71ac8a349385e3577470d"},"schema_version":"1.0"},"canonical_sha256":"35eef99caab96865e3c889b145fa3b006e51c9378623a7231a19c05dd0b32463","source":{"kind":"arxiv","id":"2506.02483","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02483","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02483v1","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02483","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_12","alias_value":"GXXPTHFKXFUG","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_16","alias_value":"GXXPTHFKXFUGLY6I","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_8","alias_value":"GXXPTHFK","created_at":"2026-07-05T11:15:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GXXPTHFKXFUGLY6IRGYUL6R3AB","target":"record","payload":{"canonical_record":{"source":{"id":"2506.02483","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-03T05:54:20Z","cross_cats_sorted":[],"title_canon_sha256":"87278525fbf644616746f314677521ad9966be1e28770455d08372172c4be5db","abstract_canon_sha256":"a7a4c3d24f77fdd70e0e8533033e1b422f493d2b8be71ac8a349385e3577470d"},"schema_version":"1.0"},"canonical_sha256":"35eef99caab96865e3c889b145fa3b006e51c9378623a7231a19c05dd0b32463","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:02.794335Z","signature_b64":"rmy8gon/fZpPQI2XZJ0GxC+323/qb4dRxkeCZm4ELM1JbgG9dKKJB0gRXWNdtUNlrKYiHoGD5+BM90NigjROCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35eef99caab96865e3c889b145fa3b006e51c9378623a7231a19c05dd0b32463","last_reissued_at":"2026-07-05T11:15:02.793929Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:02.793929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.02483","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:15:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K8/2j6Ax6aQKPoPSNjn7LP7edkQ2qQC6USgTLUM0nDskbXJA4jwC52jDXxir8daPDDTo61KGehUYqkZf4+gmBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:14:20.165819Z"},"content_sha256":"cdd91336279fab7fa190b984cc002202b1f6575f6b118a3d30937768a999d617","schema_version":"1.0","event_id":"sha256:cdd91336279fab7fa190b984cc002202b1f6575f6b118a3d30937768a999d617"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GXXPTHFKXFUGLY6IRGYUL6R3AB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Ameeta Agrawal, Sina Bagheri Nezhad","submitted_at":"2025-06-03T05:54:20Z","abstract_excerpt":"Large language models (LLMs) often struggle to perform multi-target reasoning in long-context scenarios where relevant information is scattered across extensive documents. To address this challenge, we introduce NeuroSymbolic Augmented Reasoning (NSAR), which combines the benefits of neural and symbolic reasoning during inference. NSAR explicitly extracts symbolic facts from text and generates executable Python code to handle complex reasoning steps. Through extensive experiments across seven languages and diverse context lengths, we demonstrate that NSAR significantly outperforms both a vanil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02483","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.02483/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:15:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7flkkThXfv5DQMVeKlJW3yd6IuFqJL7NNObAAZj3h9U+/7hgNOdv/3aLIgSR0RQ5nbb4tWMisHKXFTOFA43KCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:14:20.166340Z"},"content_sha256":"00c4c9d6a85cfc86695c75b502d655fa473a97ef3b72b40bf686ed5497f8b03b","schema_version":"1.0","event_id":"sha256:00c4c9d6a85cfc86695c75b502d655fa473a97ef3b72b40bf686ed5497f8b03b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/bundle.json","state_url":"https://pith.science/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/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-09T14:14:20Z","links":{"resolver":"https://pith.science/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB","bundle":"https://pith.science/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/bundle.json","state":"https://pith.science/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GXXPTHFKXFUGLY6IRGYUL6R3AB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GXXPTHFKXFUGLY6IRGYUL6R3AB","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":"a7a4c3d24f77fdd70e0e8533033e1b422f493d2b8be71ac8a349385e3577470d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-03T05:54:20Z","title_canon_sha256":"87278525fbf644616746f314677521ad9966be1e28770455d08372172c4be5db"},"schema_version":"1.0","source":{"id":"2506.02483","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02483","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02483v1","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02483","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_12","alias_value":"GXXPTHFKXFUG","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_16","alias_value":"GXXPTHFKXFUGLY6I","created_at":"2026-07-05T11:15:02Z"},{"alias_kind":"pith_short_8","alias_value":"GXXPTHFK","created_at":"2026-07-05T11:15:02Z"}],"graph_snapshots":[{"event_id":"sha256:00c4c9d6a85cfc86695c75b502d655fa473a97ef3b72b40bf686ed5497f8b03b","target":"graph","created_at":"2026-07-05T11:15:02Z","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.02483/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) often struggle to perform multi-target reasoning in long-context scenarios where relevant information is scattered across extensive documents. To address this challenge, we introduce NeuroSymbolic Augmented Reasoning (NSAR), which combines the benefits of neural and symbolic reasoning during inference. NSAR explicitly extracts symbolic facts from text and generates executable Python code to handle complex reasoning steps. Through extensive experiments across seven languages and diverse context lengths, we demonstrate that NSAR significantly outperforms both a vanil","authors_text":"Ameeta Agrawal, Sina Bagheri Nezhad","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-03T05:54:20Z","title":"Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02483","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:cdd91336279fab7fa190b984cc002202b1f6575f6b118a3d30937768a999d617","target":"record","created_at":"2026-07-05T11:15:02Z","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":"a7a4c3d24f77fdd70e0e8533033e1b422f493d2b8be71ac8a349385e3577470d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-03T05:54:20Z","title_canon_sha256":"87278525fbf644616746f314677521ad9966be1e28770455d08372172c4be5db"},"schema_version":"1.0","source":{"id":"2506.02483","kind":"arxiv","version":1}},"canonical_sha256":"35eef99caab96865e3c889b145fa3b006e51c9378623a7231a19c05dd0b32463","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35eef99caab96865e3c889b145fa3b006e51c9378623a7231a19c05dd0b32463","first_computed_at":"2026-07-05T11:15:02.793929Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:02.793929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rmy8gon/fZpPQI2XZJ0GxC+323/qb4dRxkeCZm4ELM1JbgG9dKKJB0gRXWNdtUNlrKYiHoGD5+BM90NigjROCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:02.794335Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.02483","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cdd91336279fab7fa190b984cc002202b1f6575f6b118a3d30937768a999d617","sha256:00c4c9d6a85cfc86695c75b502d655fa473a97ef3b72b40bf686ed5497f8b03b"],"state_sha256":"52c2fadcb5257ffd3878d6c75b72d503eebca6190abbf5c8606795649d8b7011"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Hg9blAWSN26bN/FU+3H2BdnE0L3soFygeVPYuXVxJFSbKV9S+/8jvtDKF3El6Z6jKneGyNEYMrrqZQTRnZWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T14:14:20.171420Z","bundle_sha256":"2c99e02ab4bdd6f8e2c7875e9ab07b1b7822790d12f097be9c865c27c2e39881"}}