{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:D76WS2AS46U3NU2YBR4H4MWCBZ","short_pith_number":"pith:D76WS2AS","canonical_record":{"source":{"id":"2402.00854","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-02-01T18:50:50Z","cross_cats_sorted":["cs.AI","cs.SC","cs.SE"],"title_canon_sha256":"24281cd1cf85b91f78792659a8c4cc873383ae1c0d38ccaf4508a4b0ef4e6790","abstract_canon_sha256":"a2c77dd25d99818cfc4c09516b46879d97c3d5fe960ecce738da0feae26929c8"},"schema_version":"1.0"},"canonical_sha256":"1ffd696812e7a9b6d3580c787e32c20e44184a77f82a4ca31640db9a18bedc0b","source":{"kind":"arxiv","id":"2402.00854","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00854","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00854v4","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00854","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_12","alias_value":"D76WS2AS46U3","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_16","alias_value":"D76WS2AS46U3NU2Y","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_8","alias_value":"D76WS2AS","created_at":"2026-07-05T08:57:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:D76WS2AS46U3NU2YBR4H4MWCBZ","target":"record","payload":{"canonical_record":{"source":{"id":"2402.00854","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-02-01T18:50:50Z","cross_cats_sorted":["cs.AI","cs.SC","cs.SE"],"title_canon_sha256":"24281cd1cf85b91f78792659a8c4cc873383ae1c0d38ccaf4508a4b0ef4e6790","abstract_canon_sha256":"a2c77dd25d99818cfc4c09516b46879d97c3d5fe960ecce738da0feae26929c8"},"schema_version":"1.0"},"canonical_sha256":"1ffd696812e7a9b6d3580c787e32c20e44184a77f82a4ca31640db9a18bedc0b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:57:54.419360Z","signature_b64":"xTMRdd0cVeIyaQX5EdjutX2Lp7m46L8JPUkFeiHq+NDLOWaILMCviPf6r/5K2Upo3gS8T2ffZ5pZVQCHf7bpAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ffd696812e7a9b6d3580c787e32c20e44184a77f82a4ca31640db9a18bedc0b","last_reissued_at":"2026-07-05T08:57:54.418839Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:57:54.418839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.00854","source_version":4,"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-05T08:57:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UjpqqnulwPOU0+4Q6yWmwWADoeYvNGmoH10GT6qbqXmNf3Kp8JLW+oHvgBgEDxOhoL6E5QQQZtVKkNmKXYcNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T15:15:04.876399Z"},"content_sha256":"4d4553edac88f62eb14149f37ef9e1cb13f1d8dc857d099e46dfd3252e378e65","schema_version":"1.0","event_id":"sha256:4d4553edac88f62eb14149f37ef9e1cb13f1d8dc857d099e46dfd3252e378e65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:D76WS2AS46U3NU2YBR4H4MWCBZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SymbolicAI: A framework for logic-based approaches combining generative models and solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SC","cs.SE"],"primary_cat":"cs.LG","authors_text":"Claudiu Leoveanu-Condrei, Marius-Constantin Dinu, Markus Holzleitner, Sepp Hochreiter, Werner Zellinger","submitted_at":"2024-02-01T18:50:50Z","abstract_excerpt":"We introduce SymbolicAI, a versatile and modular framework employing a logic-based approach to concept learning and flow management in generative processes. SymbolicAI enables the seamless integration of generative models with a diverse range of solvers by treating large language models (LLMs) as semantic parsers that execute tasks based on both natural and formal language instructions, thus bridging the gap between symbolic reasoning and generative AI. We leverage probabilistic programming principles to tackle complex tasks, and utilize differentiable and classical programming paradigms with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00854","kind":"arxiv","version":4},"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/2402.00854/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-05T08:57:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4aLcqa2dkyVLJid6NBMMh5KwBcHDGRWzwpgvTqQsHEIWnqjIFOl0y4i2p44AxZcshaUt2cXW6Og7jBStsjytBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T15:15:04.877044Z"},"content_sha256":"65134273411cc66147a84bd27cb2bd2cface25e8c69319b091840d0a0c882f5a","schema_version":"1.0","event_id":"sha256:65134273411cc66147a84bd27cb2bd2cface25e8c69319b091840d0a0c882f5a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/bundle.json","state_url":"https://pith.science/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/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-07-11T15:15:04Z","links":{"resolver":"https://pith.science/pith/D76WS2AS46U3NU2YBR4H4MWCBZ","bundle":"https://pith.science/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/bundle.json","state":"https://pith.science/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D76WS2AS46U3NU2YBR4H4MWCBZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:D76WS2AS46U3NU2YBR4H4MWCBZ","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":"a2c77dd25d99818cfc4c09516b46879d97c3d5fe960ecce738da0feae26929c8","cross_cats_sorted":["cs.AI","cs.SC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-02-01T18:50:50Z","title_canon_sha256":"24281cd1cf85b91f78792659a8c4cc873383ae1c0d38ccaf4508a4b0ef4e6790"},"schema_version":"1.0","source":{"id":"2402.00854","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00854","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00854v4","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00854","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_12","alias_value":"D76WS2AS46U3","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_16","alias_value":"D76WS2AS46U3NU2Y","created_at":"2026-07-05T08:57:54Z"},{"alias_kind":"pith_short_8","alias_value":"D76WS2AS","created_at":"2026-07-05T08:57:54Z"}],"graph_snapshots":[{"event_id":"sha256:65134273411cc66147a84bd27cb2bd2cface25e8c69319b091840d0a0c882f5a","target":"graph","created_at":"2026-07-05T08:57:54Z","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/2402.00854/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce SymbolicAI, a versatile and modular framework employing a logic-based approach to concept learning and flow management in generative processes. SymbolicAI enables the seamless integration of generative models with a diverse range of solvers by treating large language models (LLMs) as semantic parsers that execute tasks based on both natural and formal language instructions, thus bridging the gap between symbolic reasoning and generative AI. We leverage probabilistic programming principles to tackle complex tasks, and utilize differentiable and classical programming paradigms with ","authors_text":"Claudiu Leoveanu-Condrei, Marius-Constantin Dinu, Markus Holzleitner, Sepp Hochreiter, Werner Zellinger","cross_cats":["cs.AI","cs.SC","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-02-01T18:50:50Z","title":"SymbolicAI: A framework for logic-based approaches combining generative models and solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00854","kind":"arxiv","version":4},"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:4d4553edac88f62eb14149f37ef9e1cb13f1d8dc857d099e46dfd3252e378e65","target":"record","created_at":"2026-07-05T08:57:54Z","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":"a2c77dd25d99818cfc4c09516b46879d97c3d5fe960ecce738da0feae26929c8","cross_cats_sorted":["cs.AI","cs.SC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-02-01T18:50:50Z","title_canon_sha256":"24281cd1cf85b91f78792659a8c4cc873383ae1c0d38ccaf4508a4b0ef4e6790"},"schema_version":"1.0","source":{"id":"2402.00854","kind":"arxiv","version":4}},"canonical_sha256":"1ffd696812e7a9b6d3580c787e32c20e44184a77f82a4ca31640db9a18bedc0b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ffd696812e7a9b6d3580c787e32c20e44184a77f82a4ca31640db9a18bedc0b","first_computed_at":"2026-07-05T08:57:54.418839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:57:54.418839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xTMRdd0cVeIyaQX5EdjutX2Lp7m46L8JPUkFeiHq+NDLOWaILMCviPf6r/5K2Upo3gS8T2ffZ5pZVQCHf7bpAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:57:54.419360Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.00854","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d4553edac88f62eb14149f37ef9e1cb13f1d8dc857d099e46dfd3252e378e65","sha256:65134273411cc66147a84bd27cb2bd2cface25e8c69319b091840d0a0c882f5a"],"state_sha256":"f58fb3537779b89af5da0f7501d1d200cc9be06d2d607293f8defe19a392604b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jhA61N4ud/Lhf6PNBRCyA3rQTvL5uvbe/zJpd+cblobXdv+lVTV+Kao3QcMVnSUy3SrOlL7fXbE+Xc+n7km2BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-11T15:15:04.880148Z","bundle_sha256":"623d99e19ad30ab2c0656334148901a50dc7a1dea9592a48e628c86a1b3ed1c9"}}