{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GXEWHMYOKZLD3Q3KMBCF3LO4T6","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":"8ddd3f2f679509dc9f39b5f64b47c7bc1b00e57c304f0bfd5ffa31be1019854d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-14T01:34:05Z","title_canon_sha256":"b373f8e859f1d54e799108b4f3cbaeaffa1d76db2cb0de38f9727a5d4ca9deb8"},"schema_version":"1.0","source":{"id":"2507.09854","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.09854","created_at":"2026-07-05T11:36:40Z"},{"alias_kind":"arxiv_version","alias_value":"2507.09854v1","created_at":"2026-07-05T11:36:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.09854","created_at":"2026-07-05T11:36:40Z"},{"alias_kind":"pith_short_12","alias_value":"GXEWHMYOKZLD","created_at":"2026-07-05T11:36:40Z"},{"alias_kind":"pith_short_16","alias_value":"GXEWHMYOKZLD3Q3K","created_at":"2026-07-05T11:36:40Z"},{"alias_kind":"pith_short_8","alias_value":"GXEWHMYO","created_at":"2026-07-05T11:36:40Z"}],"graph_snapshots":[{"event_id":"sha256:46c01e82590932ee6bc1ff8340d89126b401ff34998822427b5757b84d6ed116","target":"graph","created_at":"2026-07-05T11:36:40Z","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/2507.09854/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neurosymbolic artificial intelligence (AI) systems combine neural network and classical symbolic AI mechanisms to exploit the complementary strengths of large scale, generalizable learning and robust, verifiable reasoning. Numerous classifications of neurosymbolic AI illustrate how these two components can be integrated in distinctly different ways. In this work, we propose reinterpreting instruction tuned large language models as model grounded symbolic AI systems where natural language serves as the symbolic layer and grounding is achieved through the models internal representation space. Wi","authors_text":"Aniruddha Chattopadhyay, Kaushik Roy, Raj Dandekar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-14T01:34:05Z","title":"Model-Grounded Symbolic Artificial Intelligence Systems Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.09854","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:2fe3f6585f0e45aadc7c5468d30a061740b945d95a65fe3229224ccc4d366bb2","target":"record","created_at":"2026-07-05T11:36:40Z","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":"8ddd3f2f679509dc9f39b5f64b47c7bc1b00e57c304f0bfd5ffa31be1019854d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-14T01:34:05Z","title_canon_sha256":"b373f8e859f1d54e799108b4f3cbaeaffa1d76db2cb0de38f9727a5d4ca9deb8"},"schema_version":"1.0","source":{"id":"2507.09854","kind":"arxiv","version":1}},"canonical_sha256":"35c963b30e56563dc36a60445daddc9fb135780fc6e198987123b03d23c516ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35c963b30e56563dc36a60445daddc9fb135780fc6e198987123b03d23c516ef","first_computed_at":"2026-07-05T11:36:40.900498Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:36:40.900498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i5ZfJhNQCh/Wn4B/0sh2xqZinb6o4WqLFIMAtB+27iK1GtjchKxBgV7NIUmE50++Gjlj8CB+ijQe/6kvhVbtDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:36:40.901028Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.09854","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2fe3f6585f0e45aadc7c5468d30a061740b945d95a65fe3229224ccc4d366bb2","sha256:46c01e82590932ee6bc1ff8340d89126b401ff34998822427b5757b84d6ed116"],"state_sha256":"814e007111f7726bd46f98100c4a27d2877f159a3e30b29ce32ba94e456a0fbd"}