{"id":"https://openalex.org/W7157954762","doi":"https://doi.org/10.48550/arxiv.2604.25399","title":"CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction","display_name":"CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction","publication_year":2026,"publication_date":"2026-04-28","ids":{"openalex":"https://openalex.org/W7157954762","doi":"https://doi.org/10.48550/arxiv.2604.25399"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.25399","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25399","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.25399","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134863581","display_name":"Jun Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Jun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134840324","display_name":"Yun Peng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Yun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101525475","display_name":"Qian Qiao","orcid":"https://orcid.org/0000-0002-3310-627X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qiao, Qian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101386205","display_name":"Changhai Zhou","orcid":"https://orcid.org/0009-0008-6428-5857"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Changhai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134846053","display_name":"Yuhua Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Yuhua","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134843681","display_name":"Shiyang Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Shiyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134866346","display_name":"Shichao Weng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weng, Shichao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134842517","display_name":"Zhenchang Xing","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xing, Zhenchang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134847389","display_name":"Xiaoxue Ren","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ren, Xiaoxue","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":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/T10260","display_name":"Software Engineering Research","score":0.23280000686645508,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.23280000686645508,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11948","display_name":"Machine Learning in Materials Science","score":0.16910000145435333,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.09000000357627869,"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/benchmark","display_name":"Benchmark (surveying)","score":0.8144999742507935},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6496000289916992},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6000000238418579},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5791000127792358},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4855000078678131},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3391999900341034}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8144999742507935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6790000200271606},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6496000289916992},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6000000238418579},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5791000127792358},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4964999854564667},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3443000018596649},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.3343999981880188},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31790000200271606},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29829999804496765},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2922999858856201},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C168725872","wikidata":"https://www.wikidata.org/wiki/Q991663","display_name":"Sophistication","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.25399","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25399","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.25399","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25399","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5863300561904907}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Despite":[0],"strong":[1],"performance":[2,95],"on":[3,79],"code":[4,18,21,69,131,145,148],"generation":[5],"tasks,":[6],"it":[7],"remains":[8],"unclear":[9],"whether":[10,40,51],"large":[11],"language":[12],"models":[13,88,107],"(LLMs)":[14],"genuinely":[15],"reason":[16,55],"about":[17,56,116],"execution.":[19],"Existing":[20],"reasoning":[22,70,115,132],"benchmarks":[23],"primarily":[24],"evaluate":[25],"final":[26,111],"output":[27],"correctness":[28],"under":[29],"a":[30,63,90,137],"single":[31],"canonical":[32],"implementation,":[33],"leaving":[34],"two":[35,84],"critical":[36],"aspects":[37],"underexplored:":[38],"(1)":[39],"LLMs":[41,52,82],"can":[42,53],"maintain":[43],"consistency":[44],"to":[45],"functionally":[46],"equivalent":[47,99],"implementations,":[48],"and":[49,74,133,143,147],"(2)":[50],"accurately":[54],"intermediate":[57,117],"execution":[58,118],"states.":[59,119],"We":[60],"introduce":[61],"\\textbf{CoRE},":[62],"\\textbf{Co}de":[64],"\\textbf{Re}asoning":[65],"benchmark":[66,139],"that":[67,124],"evaluates":[68],"through":[71],"\\textbf{implementation":[72],"invariance}":[73],"\\textbf{process":[75],"transparency}.":[76],"Extensive":[77],"evaluations":[78,126],"eight":[80],"frontier":[81],"reveal":[83],"fundamental":[85],"limitations.":[86],"First,":[87],"exhibit":[89],"substantial":[91],"\\textbf{robustness":[92],"gap},":[93],"with":[94],"varying":[96],"significantly":[97],"across":[98],"implementations.":[100],"Second,":[101],"we":[102],"observe":[103],"\\textbf{superficial":[104],"execution},":[105],"where":[106],"arrive":[108],"at":[109,151],"correct":[110],"outputs":[112],"without":[113],"correctly":[114],"Together,":[120],"these":[121],"findings":[122],"demonstrate":[123],"output-only":[125],"are":[127,149],"insufficient":[128],"for":[129,140],"assessing":[130],"position":[134],"CoRE":[135],"as":[136],"necessary":[138],"evaluating":[141],"robust":[142],"faithful":[144],"reasoning.\\footnote{Data":[146],"available":[150],"https://github.com/ZJUSig/CoRE.}":[152]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-30T00:00:00"}