{"id":"https://openalex.org/W7159616592","doi":"https://doi.org/10.48550/arxiv.2604.27960","title":"LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning","display_name":"LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning","publication_year":2026,"publication_date":"2026-04-30","ids":{"openalex":"https://openalex.org/W7159616592","doi":"https://doi.org/10.48550/arxiv.2604.27960"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.27960","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27960","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.27960","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076453478","display_name":"Adam Ishay","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ishay, Adam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134956049","display_name":"Joohyung Lee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Joohyung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.36660000681877136,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.36660000681877136,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.22830000519752502,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.1445000022649765,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.6840999722480774},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.6212000250816345},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5742999911308289},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.5351999998092651},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5295000076293945},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46639999747276306},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4528000056743622},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4318999946117401},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4246000051498413},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.3935999870300293}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.6840999722480774},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6779999732971191},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6212000250816345},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.5351999998092651},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5295000076293945},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46639999747276306},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4528000056743622},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43309998512268066},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4318999946117401},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4246000051498413},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3896999955177307},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.34880000352859497},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32179999351501465},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.29829999804496765},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2896000146865845},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.26750001311302185},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.25369998812675476},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.27960","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27960","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.27960","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27960","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6354081034660339}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"large":[1],"language":[2,69],"models":[3],"(LLMs)":[4],"have":[5],"achieved":[6],"impressive":[7],"reasoning":[8,54,114],"milestones":[9],"but":[10],"continue":[11],"to":[12,31,98,147],"struggle":[13],"with":[14,38],"high":[15],"computational":[16],"costs,":[17],"logical":[18],"inconsistencies,":[19],"and":[20,109,152],"sharp":[21],"performance":[22],"degradation":[23],"on":[24,45,79,160],"high-complexity":[25],"problems.":[26],"While":[27],"neuro-symbolic":[28],"methods":[29],"attempt":[30],"mitigate":[32],"these":[33],"issues":[34],"by":[35,157],"coupling":[36],"LLMs":[37,146],"symbolic":[39],"reasoners,":[40],"existing":[41],"approaches":[42,86],"typically":[43],"rely":[44],"monotonic":[46],"logics":[47],"(e.g.,":[48],"SMT)":[49],"that":[50,66,87],"cannot":[51],"represent":[52],"defeasible":[53],"--":[55],"essential":[56],"components":[57],"of":[58,170],"human":[59],"cognition.":[60],"We":[61],"present":[62],"\"LLM+ASP,\"":[63],"a":[64,75,190],"framework":[65,103],"translates":[67],"natural":[68],"into":[70],"Answer":[71],"Set":[72],"Programming":[73],"(ASP),":[74],"nonmonotonic":[76,161],"formalism":[77],"based":[78],"stable":[80,142],"model":[81,143],"semantics.":[82],"Unlike":[83],"prior":[84],"\"LLM+ASP\"":[85],"require":[88],"manually":[89],"authored":[90],"knowledge":[91],"modules,":[92],"domain-specific":[93],"prompts,":[94],"or":[95],"evaluation":[96],"restricted":[97],"single":[99],"problem":[100],"classes,":[101],"our":[102],"operates":[104],"without":[105],"any":[106],"per-task":[107],"engineering":[108],"applies":[110],"uniformly":[111],"across":[112,134],"diverse":[113,136],"tasks.":[115],"Our":[116],"system":[117],"utilizes":[118],"an":[119],"automated":[120],"self-correction":[121,165],"loop":[122],"where":[123,194],"structured":[124],"feedback":[125],"from":[126],"the":[127,167,174],"ASP":[128],"solver":[129],"enables":[130],"iterative":[131,164],"refinement.":[132],"Evaluating":[133],"six":[135],"benchmarks,":[137],"we":[138],"demonstrate":[139],"that:":[140],"(1)":[141],"semantics":[144],"allow":[145],"naturally":[148],"express":[149],"default":[150],"rules":[151],"exceptions,":[153],"outperforming":[154],"SMT-based":[155],"alternatives":[156],"significant":[158],"margins":[159],"tasks;":[162],"(2)":[163],"is":[166],"primary":[168],"driver":[169],"performance,":[171],"effectively":[172],"replacing":[173],"need":[175],"for":[176],"handcrafted":[177],"domain":[178],"knowledge;":[179],"(3)":[180],"compact":[181],"in-context":[182],"reference":[183],"guides":[184],"substantially":[185],"outperform":[186],"verbose":[187],"documentation,":[188],"revealing":[189],"\"context":[191],"rot\"":[192],"phenomenon":[193],"excessive":[195],"context":[196],"hinders":[197],"constraint":[198],"adherence.":[199]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-02T00:00:00"}