{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:AD7UEXAVGGLIJDTIW23XGIJOJT","short_pith_number":"pith:AD7UEXAV","schema_version":"1.0","canonical_sha256":"00ff425c153196848e68b6b773212e4cd02edac129d621699dd744309527bf6f","source":{"kind":"arxiv","id":"2406.17663","version":2},"attestation_state":"computed","paper":{"title":"LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.CL","authors_text":"Aditya Kalyanpur, David Ferrucci, David Melville, Jennifer Chu-Carroll, Kailash Karthik Saravanakumar, Victor Barres","submitted_at":"2024-06-25T15:52:15Z","abstract_excerpt":"We introduce LLM-ARC, a neuro-symbolic framework designed to enhance the logical reasoning capabilities of Large Language Models (LLMs), by combining them with an Automated Reasoning Critic (ARC). LLM-ARC employs an Actor-Critic method where the LLM Actor generates declarative logic programs along with tests for semantic correctness, while the Automated Reasoning Critic evaluates the code, runs the tests and provides feedback on test failures for iterative refinement. Implemented using Answer Set Programming (ASP), LLM-ARC achieves a new state-of-the-art accuracy of 88.32% on the FOLIO benchma"},"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":"2406.17663","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-06-25T15:52:15Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"1b9302440b8d90455bb8a43b951a5f5973c57432cb167142bb5395730b936b50","abstract_canon_sha256":"897830350d893e33b94b9f179d0a5340a94dff2792a1c3f5749140ea7cfd7966"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:46:08.343358Z","signature_b64":"srwdD636rtApq75AuZjYFANPAbtZ++B4k2PaHDi2rWYj+J226oFNt7kzwDcTy5fZzd/oRE4Bx0uG0tY7jh5HBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00ff425c153196848e68b6b773212e4cd02edac129d621699dd744309527bf6f","last_reissued_at":"2026-07-05T08:46:08.342871Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:46:08.342871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.CL","authors_text":"Aditya Kalyanpur, David Ferrucci, David Melville, Jennifer Chu-Carroll, Kailash Karthik Saravanakumar, Victor Barres","submitted_at":"2024-06-25T15:52:15Z","abstract_excerpt":"We introduce LLM-ARC, a neuro-symbolic framework designed to enhance the logical reasoning capabilities of Large Language Models (LLMs), by combining them with an Automated Reasoning Critic (ARC). LLM-ARC employs an Actor-Critic method where the LLM Actor generates declarative logic programs along with tests for semantic correctness, while the Automated Reasoning Critic evaluates the code, runs the tests and provides feedback on test failures for iterative refinement. Implemented using Answer Set Programming (ASP), LLM-ARC achieves a new state-of-the-art accuracy of 88.32% on the FOLIO benchma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.17663","kind":"arxiv","version":2},"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/2406.17663/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":"2406.17663","created_at":"2026-07-05T08:46:08.342928+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.17663v2","created_at":"2026-07-05T08:46:08.342928+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.17663","created_at":"2026-07-05T08:46:08.342928+00:00"},{"alias_kind":"pith_short_12","alias_value":"AD7UEXAVGGLI","created_at":"2026-07-05T08:46:08.342928+00:00"},{"alias_kind":"pith_short_16","alias_value":"AD7UEXAVGGLIJDTI","created_at":"2026-07-05T08:46:08.342928+00:00"},{"alias_kind":"pith_short_8","alias_value":"AD7UEXAV","created_at":"2026-07-05T08:46:08.342928+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.17340","citing_title":"Neuro-Symbolic Resolution of Recommendation Conflicts in Multimorbidity Clinical Guidelines","ref_index":43,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT","json":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT.json","graph_json":"https://pith.science/api/pith-number/AD7UEXAVGGLIJDTIW23XGIJOJT/graph.json","events_json":"https://pith.science/api/pith-number/AD7UEXAVGGLIJDTIW23XGIJOJT/events.json","paper":"https://pith.science/paper/AD7UEXAV"},"agent_actions":{"view_html":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT","download_json":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT.json","view_paper":"https://pith.science/paper/AD7UEXAV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.17663&json=true","fetch_graph":"https://pith.science/api/pith-number/AD7UEXAVGGLIJDTIW23XGIJOJT/graph.json","fetch_events":"https://pith.science/api/pith-number/AD7UEXAVGGLIJDTIW23XGIJOJT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT/action/storage_attestation","attest_author":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT/action/author_attestation","sign_citation":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT/action/citation_signature","submit_replication":"https://pith.science/pith/AD7UEXAVGGLIJDTIW23XGIJOJT/action/replication_record"}},"created_at":"2026-07-05T08:46:08.342928+00:00","updated_at":"2026-07-05T08:46:08.342928+00:00"}