{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:MPYWFY2RQTMSOR4UO7ZCKH42XK","short_pith_number":"pith:MPYWFY2R","schema_version":"1.0","canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","source":{"kind":"arxiv","id":"2302.03780","version":3},"attestation_state":"computed","paper":{"title":"Reliable Natural Language Understanding with Large Language Models and Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Abhiramon Rajasekharan (The University of Texas at Dallas), Gopal Gupta (The University of Texas at Dallas), Parth Padalkar (The University of Texas at Dallas), Yankai Zeng (The University of Texas at Dallas)","submitted_at":"2023-02-07T22:37:21Z","abstract_excerpt":"Humans understand language by extracting information (meaning) from sentences, combining it with existing commonsense knowledge, and then performing reasoning to draw conclusions. While large language models (LLMs) such as GPT-3 and ChatGPT are able to leverage patterns in the text to solve a variety of NLP tasks, they fall short in problems that require reasoning. They also cannot reliably explain the answers generated for a given question. In order to emulate humans better, we propose STAR, a framework that combines LLMs with Answer Set Programming (ASP). We show how LLMs can be used to effe"},"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":"2302.03780","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-02-07T22:37:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"73a5453fc4a20ca7bc68299a8b333425a1418555cc040b84fc5f1ded63bc5131","abstract_canon_sha256":"81f315e90729951e6d38312b4b153471a7f5294539f4a8cd0d61045487457c2c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:46:00.495961Z","signature_b64":"XcC0yZDpKpKFpaSIFP7oWC9fRzGDPO0KaJy16RtbgH/SPf2VlI16GLoM1Jte9Fp497z58HW1Wbg0OMPHGTJSDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","last_reissued_at":"2026-07-05T06:46:00.495509Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:46:00.495509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reliable Natural Language Understanding with Large Language Models and Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Abhiramon Rajasekharan (The University of Texas at Dallas), Gopal Gupta (The University of Texas at Dallas), Parth Padalkar (The University of Texas at Dallas), Yankai Zeng (The University of Texas at Dallas)","submitted_at":"2023-02-07T22:37:21Z","abstract_excerpt":"Humans understand language by extracting information (meaning) from sentences, combining it with existing commonsense knowledge, and then performing reasoning to draw conclusions. While large language models (LLMs) such as GPT-3 and ChatGPT are able to leverage patterns in the text to solve a variety of NLP tasks, they fall short in problems that require reasoning. They also cannot reliably explain the answers generated for a given question. In order to emulate humans better, we propose STAR, a framework that combines LLMs with Answer Set Programming (ASP). We show how LLMs can be used to effe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.03780","kind":"arxiv","version":3},"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/2302.03780/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":"2302.03780","created_at":"2026-07-05T06:46:00.495565+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.03780v3","created_at":"2026-07-05T06:46:00.495565+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.03780","created_at":"2026-07-05T06:46:00.495565+00:00"},{"alias_kind":"pith_short_12","alias_value":"MPYWFY2RQTMS","created_at":"2026-07-05T06:46:00.495565+00:00"},{"alias_kind":"pith_short_16","alias_value":"MPYWFY2RQTMSOR4U","created_at":"2026-07-05T06:46:00.495565+00:00"},{"alias_kind":"pith_short_8","alias_value":"MPYWFY2R","created_at":"2026-07-05T06:46:00.495565+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2502.09237","citing_title":"Reliable Conversational Agents under ASP Control that Understand Natural Language","ref_index":16,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK","json":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK.json","graph_json":"https://pith.science/api/pith-number/MPYWFY2RQTMSOR4UO7ZCKH42XK/graph.json","events_json":"https://pith.science/api/pith-number/MPYWFY2RQTMSOR4UO7ZCKH42XK/events.json","paper":"https://pith.science/paper/MPYWFY2R"},"agent_actions":{"view_html":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK","download_json":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK.json","view_paper":"https://pith.science/paper/MPYWFY2R","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.03780&json=true","fetch_graph":"https://pith.science/api/pith-number/MPYWFY2RQTMSOR4UO7ZCKH42XK/graph.json","fetch_events":"https://pith.science/api/pith-number/MPYWFY2RQTMSOR4UO7ZCKH42XK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/action/storage_attestation","attest_author":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/action/author_attestation","sign_citation":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/action/citation_signature","submit_replication":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/action/replication_record"}},"created_at":"2026-07-05T06:46:00.495565+00:00","updated_at":"2026-07-05T06:46:00.495565+00:00"}