{"id":"https://openalex.org/W7155098751","doi":"https://doi.org/10.48550/arxiv.2604.16320","title":"How Robustly do LLMs Understand Execution Semantics?","display_name":"How Robustly do LLMs Understand Execution Semantics?","publication_year":2026,"publication_date":"2026-02-24","ids":{"openalex":"https://openalex.org/W7155098751","doi":"https://doi.org/10.48550/arxiv.2604.16320"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.16320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16320","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.16320","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5123187665","display_name":"Claudio Spiess","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Spiess, Claudio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108287721","display_name":"Prem Devanbu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Devanbu, Prem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134203128","display_name":"Earl T. Barr","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barr, Earl T.","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.7328000068664551,"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.7328000068664551,"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/T10126","display_name":"Logic, programming, and type systems","score":0.040800001472234726,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.02539999969303608,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/robustness","display_name":"Robustness (evolution)","score":0.5796999931335449},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.44279998540878296},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.41609999537467957},{"id":"https://openalex.org/keywords/through-the-lens-metering","display_name":"Through-the-lens metering","score":0.35030001401901245},{"id":"https://openalex.org/keywords/frontier","display_name":"Frontier","score":0.3337000012397766},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.32760000228881836}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5796999931335449},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5130000114440918},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.44279998540878296},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41609999537467957},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.4115000069141388},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3610000014305115},{"id":"https://openalex.org/C43091099","wikidata":"https://www.wikidata.org/wiki/Q1067788","display_name":"Through-the-lens metering","level":3,"score":0.35030001401901245},{"id":"https://openalex.org/C2778571376","wikidata":"https://www.wikidata.org/wiki/Q1355821","display_name":"Frontier","level":2,"score":0.3337000012397766},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32659998536109924},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.31380000710487366},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2930999994277954},{"id":"https://openalex.org/C2779714256","wikidata":"https://www.wikidata.org/wiki/Q25305062","display_name":"Multiple Models","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.2703999876976013},{"id":"https://openalex.org/C2777673361","wikidata":"https://www.wikidata.org/wiki/Q5281228","display_name":"Disadvantage","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C45804977","wikidata":"https://www.wikidata.org/wiki/Q7239673","display_name":"Predictive modelling","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.16320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16320","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.16320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16320","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[{"score":0.5332598090171814,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLMs":[0,22],"demonstrate":[1],"remarkable":[2],"reasoning":[3,49],"capabilities,":[4],"yet":[5],"whether":[6],"they":[7],"utilize":[8],"internal":[9],"world":[10],"models":[11,50,103,160],"or":[12],"rely":[13],"on":[14,82,110,121,143],"sophisticated":[15],"pattern":[16],"matching":[17],"remains":[18],"open.":[19],"We":[20,126],"study":[21,127],"through":[23],"the":[24,68,83,122,138,144,157,165],"lens":[25],"of":[26,28,80,124,140,167],"robustness":[27],"their":[29],"code":[30,63,172],"understanding":[31],"using":[32,168],"a":[33,41,77],"standard":[34],"program-output":[35],"prediction":[36,118],"task.":[37],"Our":[38,150],"results":[39],"reveal":[40],"stark":[42],"divergence":[43],"in":[44,133,156],"model":[45,70],"behavior:":[46],"while":[47],"open-source":[48],"(DeepSeek-R1":[51],"family)":[52],"maintain":[53],"stable,":[54],"albeit":[55],"somewhat":[56],"lower":[57],"accuracies":[58],"(38%":[59],"to":[60,129,146,154,170],"67%)":[61],"under":[62],"transformations":[64],"&":[65],"input":[66],"perturbations,":[67],"frontier":[69],"GPT-5.2":[71],"exhibits":[72],"significant":[73],"brittleness.":[74],"Despite":[75],"achieving":[76],"near-perfect":[78],"score":[79],"99%":[81],"original,":[84],"unperturbed":[85],"CRUXEval":[86],"benchmark,":[87],"perturbed":[88,111],"inputs":[89,112],"trigger":[90],"accuracy":[91],"declines":[92],"between":[93],"20%":[94],"and":[95,116,136,163],"24%.":[96],"In":[97],"addition,":[98],"we":[99],"find":[100],"that":[101,113,117],"many":[102],"perform":[104],"much":[105],"worse":[106],"at":[107],"predicting":[108],"behavior":[109],"raise":[114],"exceptions,":[115],"performance":[119],"depends":[120],"kind":[123],"exception.":[125],"remedies":[128,142],"address":[130],"this":[131],"deficiency":[132],"exception":[134],"prediction,":[135],"evaluate":[137,171],"effect":[139],"these":[141],"ability":[145],"predict":[147],"non-exception":[148],"behaviors.":[149],"findings":[151],"both":[152],"point":[153],"limitations":[155],"way":[158],"all":[159],"understand":[161],"code,":[162],"establish":[164],"value":[166],"perturbation":[169],"models.":[173]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-22T00:00:00"}