{"id":"https://openalex.org/W4412888763","doi":"https://doi.org/10.18653/v1/2025.findings-acl.126","title":"LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG","display_name":"LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412888763","doi":"https://doi.org/10.18653/v1/2025.findings-acl.126"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2025.findings-acl.126","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.126","pdf_url":"https://aclanthology.org/2025.findings-acl.126.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 2025","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2025.findings-acl.126.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012817014","display_name":"R. Hu","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":"Ruikang Hu","raw_affiliation_strings":["Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shaoyu Lin","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":"Shaoyu Lin","raw_affiliation_strings":["Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119181477","display_name":"Yeliang Xiu","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":"Yeliang Xiu","raw_affiliation_strings":["Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100737223","display_name":"Yongmei Liu","orcid":"https://orcid.org/0000-0003-3305-0496"},"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":["Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. 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":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2483","last_page":"2493"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9111999869346619,"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.9111999869346619,"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/computer-science","display_name":"Computer science","score":0.6521260738372803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.453371524810791},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3988412916660309},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2107793092727661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6521260738372803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.453371524810791},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3988412916660309},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2107793092727661}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.findings-acl.126","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.126","pdf_url":"https://aclanthology.org/2025.findings-acl.126.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 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.findings-acl.126","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.126","pdf_url":"https://aclanthology.org/2025.findings-acl.126.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 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.5299999713897705,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412888763.pdf","grobid_xml":"https://content.openalex.org/works/W4412888763.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Logical":[0],"reasoning":[1,78],"is":[2],"fundamental":[3],"to":[4,71],"intelligent":[5],"systems.Large":[6],"language":[7,15],"models":[8],"(LLMs)":[9],"have":[10],"demonstrated":[11],"promise":[12],"in":[13],"natural":[14],"(NL)":[16],"reasoning,":[17],"especially":[18],"with":[19,42,50,56,79],"techniques":[20],"like":[21,26],"chain-of-thought":[22],"(CoT)":[23],"prompting.Neurosymbolic":[24],"methods":[25,53],"Logic-LM":[27,102],"and":[28,37,44,47,74,95,103,109],"LINC":[29,104],"further":[30],"enhance":[31,72],"performance":[32],"on":[33,93],"challenging":[34],"datasets":[35],"FOLIO":[36,94],"AR-LSAT":[38,96],"by":[39,83],"integrating":[40],"formalization":[41,59],"LLMs":[43],"symbolic":[45],"solvers,":[46],"possibly":[48],"refinement":[49],"LLMs.However,":[51],"these":[52],"still":[54],"struggle":[55],"the":[57],"accurate":[58],"of":[60,87,116],"complex":[61],"NL":[62],"problems.In":[63],"this":[64],"paper,":[65],"we":[66],"introduce":[67],"LTRAG,":[68],"a":[69],"framework":[70],"autoformalization":[73],"selfrefinement":[75],"for":[76],"logical":[77],"Retrieval-Augmented":[80],"Generation":[81],"(RAG),":[82],"building":[84],"knowledge":[85],"bases":[86],"thought-guided":[88],"examples":[89],"1":[90],".Experimental":[91],"results":[92],"show":[97],"that":[98],"LTRAG":[99],"consistently":[100],"outperforms":[101],"across":[105],"different":[106],"models.On":[107],"GPT-4":[108],"AR-LSAT,":[110],"it":[111],"achieves":[112],"an":[113],"accuracy":[114],"gain":[115],"13%":[117],"over":[118],"Logic-LM.":[119]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}