{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:IFEHGR54VKHN466OOPNGAMUVVE","short_pith_number":"pith:IFEHGR54","schema_version":"1.0","canonical_sha256":"41487347bcaa8ede7bce73da603295a906166e5ed599c8894bb77dbe74d92116","source":{"kind":"arxiv","id":"2409.11589","version":1},"attestation_state":"computed","paper":{"title":"ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Abigail Kufeldt, Ian Lane, Leilani Gilpin, Max Meyers, Priyesh Vakharia","submitted_at":"2024-09-17T22:34:33Z","abstract_excerpt":"Neurosymbolic approaches can add robustness to opaque neural systems by incorporating explainable symbolic representations. However, previous approaches have not used formal logic to contextualize queries to and validate outputs of large language models (LLMs). We propose \\systemname{}, a novel neurosymbolic framework, to improve the robustness and reliability of LLMs in question-answering tasks. We provide \\systemname{} with a domain-specific knowledge base, a logical reasoning system, and an integration to an existing LLM. This framework has two capabilities (1) context gathering: generating"},"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":"2409.11589","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-17T22:34:33Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"600922e19a389d8533fa0aff1b5253b44326fd66a75b0c82ca5640b5fde80d5d","abstract_canon_sha256":"80c787479826994f8a50c5dc988936ff46f6e4da4854f0ce29ea35a8bcb7bce9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:08:34.112288Z","signature_b64":"pL/gxF+A+N0U6HwiEIguvOy4di0J9bbDk3FidN7v/Mu3WzHAa19CCnJCL1sMFqUmOqlTRLLOVJ4MvdSlabpbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"41487347bcaa8ede7bce73da603295a906166e5ed599c8894bb77dbe74d92116","last_reissued_at":"2026-07-05T09:08:34.111807Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:08:34.111807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Abigail Kufeldt, Ian Lane, Leilani Gilpin, Max Meyers, Priyesh Vakharia","submitted_at":"2024-09-17T22:34:33Z","abstract_excerpt":"Neurosymbolic approaches can add robustness to opaque neural systems by incorporating explainable symbolic representations. However, previous approaches have not used formal logic to contextualize queries to and validate outputs of large language models (LLMs). We propose \\systemname{}, a novel neurosymbolic framework, to improve the robustness and reliability of LLMs in question-answering tasks. We provide \\systemname{} with a domain-specific knowledge base, a logical reasoning system, and an integration to an existing LLM. This framework has two capabilities (1) context gathering: generating"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.11589","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/2409.11589/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":"2409.11589","created_at":"2026-07-05T09:08:34.111861+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.11589v1","created_at":"2026-07-05T09:08:34.111861+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.11589","created_at":"2026-07-05T09:08:34.111861+00:00"},{"alias_kind":"pith_short_12","alias_value":"IFEHGR54VKHN","created_at":"2026-07-05T09:08:34.111861+00:00"},{"alias_kind":"pith_short_16","alias_value":"IFEHGR54VKHN466O","created_at":"2026-07-05T09:08:34.111861+00:00"},{"alias_kind":"pith_short_8","alias_value":"IFEHGR54","created_at":"2026-07-05T09:08:34.111861+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.02472","citing_title":"Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE","json":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE.json","graph_json":"https://pith.science/api/pith-number/IFEHGR54VKHN466OOPNGAMUVVE/graph.json","events_json":"https://pith.science/api/pith-number/IFEHGR54VKHN466OOPNGAMUVVE/events.json","paper":"https://pith.science/paper/IFEHGR54"},"agent_actions":{"view_html":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE","download_json":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE.json","view_paper":"https://pith.science/paper/IFEHGR54","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.11589&json=true","fetch_graph":"https://pith.science/api/pith-number/IFEHGR54VKHN466OOPNGAMUVVE/graph.json","fetch_events":"https://pith.science/api/pith-number/IFEHGR54VKHN466OOPNGAMUVVE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE/action/storage_attestation","attest_author":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE/action/author_attestation","sign_citation":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE/action/citation_signature","submit_replication":"https://pith.science/pith/IFEHGR54VKHN466OOPNGAMUVVE/action/replication_record"}},"created_at":"2026-07-05T09:08:34.111861+00:00","updated_at":"2026-07-05T09:08:34.111861+00:00"}