{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:22ZNDXHLFRIFJDVYUGRNL6TWUR","short_pith_number":"pith:22ZNDXHL","schema_version":"1.0","canonical_sha256":"d6b2d1dceb2c50548eb8a1a2d5fa76a46b82bb2d016ab642f0a60af39e86b72a","source":{"kind":"arxiv","id":"2608.04285","version":1},"attestation_state":"computed","paper":{"title":"The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Agnese Chiatti, Alberto Speranzon, Annette ten Teije, Antonio Vergari, Artur d'Avila Garcez, Benjie Wang, Cristina Cornelio, Emile van Krieken, Frank van Harmelen, Lia Morra, Luis C. Lamb, Maarten Stol, Mathias Niepert, Michael Cochez, Robert Peharz, Sebastijan Dumancic, Thiviyan Thanapalasingam","submitted_at":"2026-08-04T23:24:39Z","abstract_excerpt":"Neurosymbolic AI systems that integrate machine learning and symbolic reasoning are rapidly gaining attention. They complement the data-intensive statistical approaches of neural networks and language models with symbolic reasoning algorithms to function in high-stakes domains or in low-data regimes that characterize many real-world applications. We argue that the neurosymbolic combination of machine learning and formal reasoning is not a niche approach within AI, but rather includes many already successful techniques that are of crucial importance to the development of reliable, efficient and"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.04285","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-04T23:24:39Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c703ff0c5cbc7f1d676e9249b09618f46d9c8c739511347a8f93dd6502c2823b","abstract_canon_sha256":"5afcdd5c09bc9921c3553b6b01e6e124791629cc6df9de0f6d9842633f5a51fc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-06T01:32:08.200877Z","signature_b64":"0YfrPK2sO4xHoDS7XqFGYHZ0cqaU+dRzqdHJYOAw1dNGN2Ae6Un8lHGw8S84WkQwGg6PkwGLE/82qWCf0HXaBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6b2d1dceb2c50548eb8a1a2d5fa76a46b82bb2d016ab642f0a60af39e86b72a","last_reissued_at":"2026-08-06T01:32:08.199428Z","signature_status":"signed_v1","first_computed_at":"2026-08-06T01:32:08.199428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Agnese Chiatti, Alberto Speranzon, Annette ten Teije, Antonio Vergari, Artur d'Avila Garcez, Benjie Wang, Cristina Cornelio, Emile van Krieken, Frank van Harmelen, Lia Morra, Luis C. Lamb, Maarten Stol, Mathias Niepert, Michael Cochez, Robert Peharz, Sebastijan Dumancic, Thiviyan Thanapalasingam","submitted_at":"2026-08-04T23:24:39Z","abstract_excerpt":"Neurosymbolic AI systems that integrate machine learning and symbolic reasoning are rapidly gaining attention. They complement the data-intensive statistical approaches of neural networks and language models with symbolic reasoning algorithms to function in high-stakes domains or in low-data regimes that characterize many real-world applications. We argue that the neurosymbolic combination of machine learning and formal reasoning is not a niche approach within AI, but rather includes many already successful techniques that are of crucial importance to the development of reliable, efficient and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.04285","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/2608.04285/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.04285","created_at":"2026-08-06T01:32:08.201244+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.04285v1","created_at":"2026-08-06T01:32:08.201244+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.04285","created_at":"2026-08-06T01:32:08.201244+00:00"},{"alias_kind":"pith_short_12","alias_value":"22ZNDXHLFRIF","created_at":"2026-08-06T01:32:08.201244+00:00"},{"alias_kind":"pith_short_16","alias_value":"22ZNDXHLFRIFJDVY","created_at":"2026-08-06T01:32:08.201244+00:00"},{"alias_kind":"pith_short_8","alias_value":"22ZNDXHL","created_at":"2026-08-06T01:32:08.201244+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR","json":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR.json","graph_json":"https://pith.science/api/pith-number/22ZNDXHLFRIFJDVYUGRNL6TWUR/graph.json","events_json":"https://pith.science/api/pith-number/22ZNDXHLFRIFJDVYUGRNL6TWUR/events.json","paper":"https://pith.science/paper/22ZNDXHL"},"agent_actions":{"view_html":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR","download_json":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR.json","view_paper":"https://pith.science/paper/22ZNDXHL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.04285&json=true","fetch_graph":"https://pith.science/api/pith-number/22ZNDXHLFRIFJDVYUGRNL6TWUR/graph.json","fetch_events":"https://pith.science/api/pith-number/22ZNDXHLFRIFJDVYUGRNL6TWUR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR/action/storage_attestation","attest_author":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR/action/author_attestation","sign_citation":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR/action/citation_signature","submit_replication":"https://pith.science/pith/22ZNDXHLFRIFJDVYUGRNL6TWUR/action/replication_record"}},"created_at":"2026-08-06T01:32:08.201244+00:00","updated_at":"2026-08-06T01:32:08.201244+00:00"}