{"id":"https://openalex.org/W7166810066","doi":"https://doi.org/10.18653/v1/2026.findings-acl.795","title":"PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG","display_name":"PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166810066","doi":"https://doi.org/10.18653/v1/2026.findings-acl.795"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.findings-acl.795","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.795","pdf_url":"https://aclanthology.org/2026.findings-acl.795.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.findings-acl.795.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139768024","display_name":"Yuyin Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyin Zhou","raw_affiliation_strings":["Department of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5139844982","display_name":"Yongmei Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongmei Liu","raw_affiliation_strings":["Department of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157773358"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.80016491,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"16193","last_page":"16208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5659999847412109,"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.5659999847412109,"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/T10142","display_name":"Formal Methods in Verification","score":0.11890000104904175,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.05299999937415123,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.4375999867916107},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3978999853134155},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.37119999527931213},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.3043000102043152},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.2818000018596649}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6646999716758728},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.573199987411499},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5644000172615051},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.4375999867916107},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3978999853134155},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2689000070095062},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2574000060558319}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.findings-acl.795","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.795","pdf_url":"https://aclanthology.org/2026.findings-acl.795.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.findings-acl.795","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.795","pdf_url":"https://aclanthology.org/2026.findings-acl.795.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166810066.pdf","grobid_xml":"https://content.openalex.org/works/W7166810066.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,10,111],"large":[3],"language":[4],"models":[5],"(LLMs)":[6],"have":[7],"spurred":[8],"interest":[9],"neuro-symbolic":[11],"methods":[12,35],"for":[13,27,109],"logical":[14],"reasoning":[15,31],"based":[16],"on":[17,154,158],"auto-formalization,":[18,112],"where":[19],"LLMs":[20,115],"first":[21],"formalize":[22],"problems":[23],"into":[24],"symbolic":[25],"programs,":[26],"solvers":[28],"to":[29,38,64,92,116],"perform":[30],"over.However,":[32],"existing":[33],"auto-formalization":[34],"remain":[36],"prone":[37],"both":[39,128],"syntactic":[40,120],"and":[41,83,118,121,134,136,156],"semantic":[42,49,53,65,80,122],"errors.Specifically,":[43],"the":[44,96,99],"absence":[45],"of":[46,79,152],"a":[47,61,88,105],"program-level":[48],"verification":[50],"mechanism":[51],"leaves":[52],"errors":[54,123],"largely":[55],"unaddressed.In":[56],"this":[57],"paper,":[58],"we":[59,74,102],"propose":[60],"novel":[62],"approach":[63],"error":[66,81],"correction":[67],"via":[68],"program":[69,89],"preference":[70,90],"retrieval-augmented":[71],"generation":[72],"(RAG).First,":[73],"conduct":[75],"an":[76,148],"in-depth":[77],"analysis":[78],"patterns,":[82],"then":[84],"automatically":[85],"synthesize":[86],"Seman-ticPref,":[87],"dataset":[91,97],"model":[93],"these":[94],"patterns.Using":[95],"as":[98],"knowledge":[100],"base,":[101],"introduce":[103],"PrefRAG,":[104],"general":[106],"RAG":[107],"framework":[108],"refinement":[110],"which":[113],"enables":[114],"detect":[117],"repair":[119],"1":[124],".Extensive":[125],"evaluations":[126],"across":[127],"indistribution":[129],"(ID)":[130],"benchmarks":[131],"(i.e.,":[132],"AR-LSAT":[133],"FOLIO)":[135],"out-of-distribution":[137],"(OOD)":[138],"datasets":[139],"show":[140],"that":[141],"PrefRAG":[142],"consistently":[143],"outperforms":[144],"strong":[145],"baselines,":[146],"achieving":[147],"average":[149],"accuracy":[150],"improvement":[151],"2.39%":[153],"ID":[155],"6.23%":[157],"OOD":[159],"datasets.":[160]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-07-02T00:00:00"}