{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:FJDZQ7V7EB2K33WXYA62CZCPW3","short_pith_number":"pith:FJDZQ7V7","schema_version":"1.0","canonical_sha256":"2a47987ebf2074adeed7c03da1644fb6e31d96381ff7d5765ea1c6dc01515901","source":{"kind":"arxiv","id":"2312.11651","version":1},"attestation_state":"computed","paper":{"title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Fadi Al Machot","submitted_at":"2023-12-18T19:06:00Z","abstract_excerpt":"Neural-symbolic learning, an intersection of neural networks and symbolic reasoning, aims to blend neural networks' learning capabilities with symbolic AI's interpretability and reasoning. This paper introduces an approach designed to improve the performance of neural models in learning reasoning tasks. It achieves this by integrating Answer Set Programming (ASP) solvers and domain-specific expertise, which is an approach that diverges from traditional complex neural-symbolic models. In this paper, a shallow artificial neural network (ANN) is specifically trained to solve Sudoku puzzles with m"},"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":"2312.11651","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-18T19:06:00Z","cross_cats_sorted":[],"title_canon_sha256":"fef180cd5c422b98378cb217d4ff5863a6fda6ef8c30898d7b2265f9082a119b","abstract_canon_sha256":"9788e0edd58c7c9daf5a42fe8b475695bc630fe6bc8a7c805b67c0631b888926"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:31.733296Z","signature_b64":"jm/CKOABH9EO7iNjvihRNE5zFmiR7F6R1i0yeYfXiEH0DP97uT7CzWy5uytGjXMqV77hKK9k7AR9wCG1o0K8Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a47987ebf2074adeed7c03da1644fb6e31d96381ff7d5765ea1c6dc01515901","last_reissued_at":"2026-07-05T11:17:31.732854Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:31.732854Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Fadi Al Machot","submitted_at":"2023-12-18T19:06:00Z","abstract_excerpt":"Neural-symbolic learning, an intersection of neural networks and symbolic reasoning, aims to blend neural networks' learning capabilities with symbolic AI's interpretability and reasoning. This paper introduces an approach designed to improve the performance of neural models in learning reasoning tasks. It achieves this by integrating Answer Set Programming (ASP) solvers and domain-specific expertise, which is an approach that diverges from traditional complex neural-symbolic models. In this paper, a shallow artificial neural network (ANN) is specifically trained to solve Sudoku puzzles with m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.11651","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/2312.11651/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":"2312.11651","created_at":"2026-07-05T11:17:31.732911+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.11651v1","created_at":"2026-07-05T11:17:31.732911+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.11651","created_at":"2026-07-05T11:17:31.732911+00:00"},{"alias_kind":"pith_short_12","alias_value":"FJDZQ7V7EB2K","created_at":"2026-07-05T11:17:31.732911+00:00"},{"alias_kind":"pith_short_16","alias_value":"FJDZQ7V7EB2K33WX","created_at":"2026-07-05T11:17:31.732911+00:00"},{"alias_kind":"pith_short_8","alias_value":"FJDZQ7V7","created_at":"2026-07-05T11:17:31.732911+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.08469","citing_title":"Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet)","ref_index":19,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3","json":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3.json","graph_json":"https://pith.science/api/pith-number/FJDZQ7V7EB2K33WXYA62CZCPW3/graph.json","events_json":"https://pith.science/api/pith-number/FJDZQ7V7EB2K33WXYA62CZCPW3/events.json","paper":"https://pith.science/paper/FJDZQ7V7"},"agent_actions":{"view_html":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3","download_json":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3.json","view_paper":"https://pith.science/paper/FJDZQ7V7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.11651&json=true","fetch_graph":"https://pith.science/api/pith-number/FJDZQ7V7EB2K33WXYA62CZCPW3/graph.json","fetch_events":"https://pith.science/api/pith-number/FJDZQ7V7EB2K33WXYA62CZCPW3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3/action/storage_attestation","attest_author":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3/action/author_attestation","sign_citation":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3/action/citation_signature","submit_replication":"https://pith.science/pith/FJDZQ7V7EB2K33WXYA62CZCPW3/action/replication_record"}},"created_at":"2026-07-05T11:17:31.732911+00:00","updated_at":"2026-07-05T11:17:31.732911+00:00"}