{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MPYWFY2RQTMSOR4UO7ZCKH42XK","short_pith_number":"pith:MPYWFY2R","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"},"canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","source":{"kind":"arxiv","id":"2302.03780","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.03780","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"arxiv_version","alias_value":"2302.03780v3","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.03780","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_12","alias_value":"MPYWFY2RQTMS","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_16","alias_value":"MPYWFY2RQTMSOR4U","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_8","alias_value":"MPYWFY2R","created_at":"2026-07-05T06:46:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MPYWFY2RQTMSOR4UO7ZCKH42XK","target":"record","payload":{"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"},"canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","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"},"source_kind":"arxiv","source_id":"2302.03780","source_version":3,"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-05T06:46:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dLK4jYkl9c5/mD4uw/SRBppuLZd5n4YE5R0Ql77BwLJqfSBDpTNnf5YEBknCEPespwDxkLWUi3Q0+q8G6rG0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:38:57.545633Z"},"content_sha256":"63ccae321fa5a6c2f1b3711c01dcc5c85e6662312c09f21c80b373bd000d9df1","schema_version":"1.0","event_id":"sha256:63ccae321fa5a6c2f1b3711c01dcc5c85e6662312c09f21c80b373bd000d9df1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MPYWFY2RQTMSOR4UO7ZCKH42XK","target":"graph","payload":{"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"},"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-05T06:46:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1V/jsiwIqNmxtgcG/ECcrovtj6wUZq1A8w+152KeQIxeNauw5UOk6OhGJlW+EjX/Z8hwr57Yrx5WIbNRXL/HDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:38:57.546142Z"},"content_sha256":"17e071fc88a972aec22e9d85082f31c0cb556ff0752a178ff2525ab5120dae77","schema_version":"1.0","event_id":"sha256:17e071fc88a972aec22e9d85082f31c0cb556ff0752a178ff2525ab5120dae77"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/bundle.json","state_url":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/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-08-08T18:38:57Z","links":{"resolver":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK","bundle":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/bundle.json","state":"https://pith.science/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MPYWFY2RQTMSOR4UO7ZCKH42XK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MPYWFY2RQTMSOR4UO7ZCKH42XK","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":"81f315e90729951e6d38312b4b153471a7f5294539f4a8cd0d61045487457c2c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-02-07T22:37:21Z","title_canon_sha256":"73a5453fc4a20ca7bc68299a8b333425a1418555cc040b84fc5f1ded63bc5131"},"schema_version":"1.0","source":{"id":"2302.03780","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.03780","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"arxiv_version","alias_value":"2302.03780v3","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.03780","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_12","alias_value":"MPYWFY2RQTMS","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_16","alias_value":"MPYWFY2RQTMSOR4U","created_at":"2026-07-05T06:46:00Z"},{"alias_kind":"pith_short_8","alias_value":"MPYWFY2R","created_at":"2026-07-05T06:46:00Z"}],"graph_snapshots":[{"event_id":"sha256:17e071fc88a972aec22e9d85082f31c0cb556ff0752a178ff2525ab5120dae77","target":"graph","created_at":"2026-07-05T06:46:00Z","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/2302.03780/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","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)","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-02-07T22:37:21Z","title":"Reliable Natural Language Understanding with Large Language Models and Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.03780","kind":"arxiv","version":3},"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:63ccae321fa5a6c2f1b3711c01dcc5c85e6662312c09f21c80b373bd000d9df1","target":"record","created_at":"2026-07-05T06:46:00Z","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":"81f315e90729951e6d38312b4b153471a7f5294539f4a8cd0d61045487457c2c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-02-07T22:37:21Z","title_canon_sha256":"73a5453fc4a20ca7bc68299a8b333425a1418555cc040b84fc5f1ded63bc5131"},"schema_version":"1.0","source":{"id":"2302.03780","kind":"arxiv","version":3}},"canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63f162e35184d927479477f2251f9aba8908b9004a41a7473798ca3d33705c82","first_computed_at":"2026-07-05T06:46:00.495509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:46:00.495509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XcC0yZDpKpKFpaSIFP7oWC9fRzGDPO0KaJy16RtbgH/SPf2VlI16GLoM1Jte9Fp497z58HW1Wbg0OMPHGTJSDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:46:00.495961Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.03780","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63ccae321fa5a6c2f1b3711c01dcc5c85e6662312c09f21c80b373bd000d9df1","sha256:17e071fc88a972aec22e9d85082f31c0cb556ff0752a178ff2525ab5120dae77"],"state_sha256":"4507d7dfb14bdfa1eff2f9f910b9f2e159465cf4d98ccb8e8b2156857ab981fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LpXFIBHCE1P3buN14N3Z1mdJBsjyTKuFD2oAcvAAKbbkhtmvuiFgRKHlbBQDvXliw0vf26CQDqQP0HJ6A39ABw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T18:38:57.551092Z","bundle_sha256":"30add552a12288e91036795e54e6311824b55b5719a6e29e8d668f5bc1b02572"}}