{"id":"https://openalex.org/W7170864830","doi":"https://doi.org/10.48550/arxiv.2607.20520","title":"Representation Robustness Under Executable Reasoning Constraints in Large Language Models for Mathematical Problem Solving","display_name":"Representation Robustness Under Executable Reasoning Constraints in Large Language Models for Mathematical Problem Solving","publication_year":2026,"publication_date":"2026-07-08","ids":{"openalex":"https://openalex.org/W7170864830","doi":"https://doi.org/10.48550/arxiv.2607.20520"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.20520","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20520","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.2607.20520","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050561161","display_name":"Sagnik Nath","orcid":"https://orcid.org/0000-0002-5225-952X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nath, Sagnik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006116909","display_name":"Edith Aurora Graf","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Graf, Edith Aurora","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143563019","display_name":"Liang Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Liang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5007080355","display_name":"Diego Zapata\u2010Rivera","orcid":"https://orcid.org/0000-0002-0620-7622"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zapata-Rivera, Diego","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/T11948","display_name":"Machine Learning in Materials Science","score":0.1826999932527542,"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"}},"topics":[{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.1826999932527542,"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.15539999306201935,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.08150000125169754,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8144999742507935},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7166000008583069},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5497999787330627},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5343000292778015},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5044999718666077},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4625999927520752},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.44699999690055847}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8144999742507935},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7166000008583069},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6862000226974487},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5497999787330627},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5343000292778015},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5044999718666077},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4959999918937683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4771000146865845},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4625999927520752},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.44699999690055847},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.4020000100135803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38499999046325684},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.36980000138282776},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.36390000581741333},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.3508000075817108},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.20520","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20520","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.2607.20520","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20520","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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.42702609300613403}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2,81,127,149],"(LLMs)":[3],"are":[4],"increasingly":[5],"evaluated":[6],"on":[7],"mathematical":[8,35,117],"problem":[9,36],"solving,":[10],"yet":[11],"prior":[12],"work":[13],"often":[14,186],"treats":[15],"representationally":[16],"equivalent":[17,63,86],"formulations":[18],"as":[19,130,217],"interchangeable":[20],"and":[21,54,95,176,208,226],"conflates":[22],"reasoning":[23,129,145,171,182,193],"errors":[24,172],"with":[25,88],"interface":[26,141,220],"failures.":[27,178],"This":[28,140],"paper":[29],"investigates":[30],"representation":[31,184,213],"robustness":[32],"in":[33,125,147,223],"LLM-based":[34],"solving":[37],"by":[38],"systematically":[39],"varying":[40],"surface":[41],"representations":[42],"of":[43,61],"the":[44],"same":[45],"underlying":[46],"problems,":[47,50,64],"including":[48],"story":[49],"word-equations,":[51],"symbolic":[52],"equations,":[53],"isomorphic":[55,104],"paraphrases.":[56],"Using":[57],"a":[58,71,122,218],"curated":[59],"dataset":[60],"mathematically":[62],"we":[65],"evaluate":[66,121],"five":[67],"contemporary":[68],"LLMs":[69],"under":[70,103,153],"direct":[72,154],"answer":[73],"generation":[74],"condition.":[75],"We":[76,98,119,210],"find":[77],"substantial":[78],"representational":[79,198],"sensitivity:":[80],"frequently":[82],"change":[83],"correctness":[84],"across":[85,92,166],"formulations,":[87],"nontrivial":[89],"flip":[90],"rates":[91],"story,":[93],"symbolic,":[94],"word-equation":[96],"variants.":[97],"also":[99],"observe":[100],"systematic":[101],"regressions":[102],"reformulations,":[105],"showing":[106],"that":[107,134,150,192,212],"even":[108],"subtle":[109],"paraphrase-level":[110],"changes":[111],"can":[112],"degrade":[113],"performance":[114],"despite":[115],"preserved":[116],"structure.":[118],"then":[120],"code-augmented":[123],"condition":[124],"which":[126],"externalize":[128],"executable":[131,181],"Python":[132],"code":[133],"is":[135],"run":[136],"locally":[137],"for":[138,229],"validation.":[139],"reveals":[142],"strong":[143],"latent":[144],"capability":[146],"some":[148],"perform":[151],"poorly":[152],"prompting,":[155],"but":[156,200],"it":[157],"does":[158],"not":[159,196],"uniformly":[160],"improve":[161],"robustness.":[162],"Instead,":[163],"failures":[164],"shift":[165],"interaction":[167],"layers,":[168],"from":[169],"opaque":[170],"to":[173],"protocol":[174],"violations":[175],"execution":[177],"Even":[179],"when":[180],"succeeds,":[183],"sensitivity":[185],"persists.":[187],"Overall,":[188],"our":[189],"results":[190],"show":[191],"scaffolds":[194],"do":[195],"eliminate":[197],"brittleness,":[199],"expose":[201],"new":[202],"tradeoffs":[203],"among":[204],"correctness,":[205],"reliability,":[206],"latency,":[207],"cost.":[209],"argue":[211],"should":[214],"be":[215],"treated":[216],"first-class":[219],"design":[221],"variable":[222],"LLM":[224],"evaluation":[225],"deployment,":[227],"especially":[228],"AI-assisted":[230],"problem-solving":[231],"systems.":[232]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-25T00:00:00"}