{"id":"https://openalex.org/W7166860003","doi":"https://doi.org/10.18653/v1/2026.findings-acl.1128","title":"Think Less, Know More: State-Aware Reasoning Compression with Knowledge Guidance for Efficient Reasoning","display_name":"Think Less, Know More: State-Aware Reasoning Compression with Knowledge Guidance for Efficient Reasoning","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166860003","doi":"https://doi.org/10.18653/v1/2026.findings-acl.1128"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.findings-acl.1128","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1128","pdf_url":"https://aclanthology.org/2026.findings-acl.1128.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.1128.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104182898","display_name":"Yi Sui","orcid":"https://orcid.org/0009-0001-8081-5183"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Sui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037831162","display_name":"Chaozhuo Li","orcid":"https://orcid.org/0000-0002-9867-1712"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chaozhuo Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139807254","display_name":"Dawei Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dawei Song","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.84846792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"22470","last_page":"22491"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4496999979019165,"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.4496999979019165,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.18490000069141388,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.05829999968409538,"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/compression","display_name":"Compression (physics)","score":0.4189999997615814},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3736000061035156},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.296999990940094},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.28700000047683716},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.2816999852657318},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.27459999918937683}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.652999997138977},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4307999908924103},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3736000061035156},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2727999985218048},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.25690001249313354}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.findings-acl.1128","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1128","pdf_url":"https://aclanthology.org/2026.findings-acl.1128.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.1128","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1128","pdf_url":"https://aclanthology.org/2026.findings-acl.1128.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":[{"id":"https://openalex.org/G4853011787","display_name":null,"funder_award_id":"62376027","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166860003.pdf","grobid_xml":"https://content.openalex.org/works/W7166860003.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Reasoning":[1,51],"Models":[2],"(LRMs)":[3],"achieve":[4],"strong":[5],"performance":[6],"on":[7,137],"complex":[8],"tasks":[9],"by":[10,64,103,119,154,159],"leveraging":[11],"long":[12,98],"Chain-of-Thought":[13],"(CoT),":[14],"but":[15,99],"often":[16],"suffer":[17],"from":[18],"overthinking,":[19],"leading":[20],"to":[21,33,43,109,132],"excessive":[22],"reasoning":[23,46,91,140],"steps":[24],"and":[25,36,38,45,70,81,93,125],"high":[26],"inference":[27],"latency.Existing":[28],"CoT":[29,62],"compression":[30,63,86,95,135],"methods":[31],"struggle":[32],"balance":[34],"accuracy":[35,158],"efficiency,":[37],"lack":[39],"fine-grained,":[40],"step-level":[41],"adaptation":[42],"redundancy":[44,68],"bias.Therefore,":[47],"we":[48],"propose":[49,114],"State-Aware":[50],"Compression":[52],"with":[53,72],"Knowledge":[54],"Guidance":[55],"(STACK),":[56],"a":[57,73,115,146],"framework":[58],"that":[59,143],"performs":[60],"step-wise":[61],"explicitly":[65],"modeling":[66],"stage-specific":[67],"sources":[69],"integrating":[71],"retrievalaugmented":[74],"guidance.STACK":[75],"constructs":[76],"online":[77],"long-short":[78],"contrastive":[79],"samples":[80],"dynamically":[82],"switches":[83],"between":[84],"knowledge-guided":[85],"for":[87,96],"uncertain":[88],"or":[89],"biased":[90],"state":[92],"self-prompted":[94],"overly":[97],"confident":[100],"state,":[101],"complemented":[102],"an":[104],"answer-convergence-based":[105],"early":[106],"stopping":[107],"mechanism":[108],"suppress":[110],"redundant":[111],"verification.We":[112],"further":[113],"reward-differencedriven":[116],"training":[117],"strategy":[118],"combining":[120],"Proximal":[121],"Policy":[122],"Optimization":[123,128],"(PPO)":[124],"Direct":[126],"Preference":[127],"(DPO),":[129],"enabling":[130],"models":[131],"learn":[133],"state-conditioned":[134],"strategies.Experiments":[136],"three":[138],"mathematical":[139],"benchmarks":[141],"show":[142],"STACK":[144],"achieves":[145],"superior":[147],"accuracy-efficiency":[148],"balance,":[149],"reducing":[150],"average":[151],"response":[152],"length":[153],"59.9%":[155],"while":[156],"improving":[157],"4.8":[160],"points":[161],"over":[162],"existing":[163],"methods.":[164]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-07-02T00:00:00"}