{"id":"https://openalex.org/W7204934286","doi":"https://doi.org/10.48550/arxiv.2608.28600","title":"SHAPE of Thinking: Mathematical Heuristics for Analyzing and Improving LLM Reasoning","display_name":"SHAPE of Thinking: Mathematical Heuristics for Analyzing and Improving LLM Reasoning","publication_year":2026,"publication_date":"2026-06-28","ids":{"openalex":"https://openalex.org/W7204934286","doi":"https://doi.org/10.48550/arxiv.2608.28600"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.28600","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28600","pdf_url":"https://arxiv.org/pdf/2608.28600","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.28600","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102674790","display_name":"Jonghyun Song","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Song, Jonghyun","raw_affiliation_strings":["Graduate School of Data Science , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Data Science , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148849638","display_name":"Sangjun Song","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Song, Sangjun","raw_affiliation_strings":["Graduate School of Data Science , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Data Science , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135865110","display_name":"Minjae Oh","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Oh, Minjae","raw_affiliation_strings":["Graduate School of Data Science , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Data Science , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069116685","display_name":"Haesung Pyun","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Pyun, Haesung","raw_affiliation_strings":["Graduate School of Data Science , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Data Science , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lee, Sungsik","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Lee, Sungsik","raw_affiliation_strings":["Department of Mathematics Education , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics Education , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021733732","display_name":"Yohan Jo","orcid":"https://orcid.org/0009-0006-9296-3403","observed_orcids":["https://orcid.org/0009-0006-9296-3403"]},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jo, Yohan","raw_affiliation_strings":["Graduate School of Data Science , Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Data Science , Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I139264467"],"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.420199990272522,"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/T10028","display_name":"Topic Modeling","score":0.420199990272522,"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/T12522","display_name":"Mathematics Education and Pedagogy","score":0.24740000069141388,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.03750000149011612,"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/chain-of-thought-reasoning","display_name":"chain-of-thought reasoning","score":0.953000009059906},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8629999756813049},{"id":"https://openalex.org/keywords/mathematical-reasoning","display_name":"mathematical reasoning","score":0.9800000190734863},{"id":"https://openalex.org/keywords/semantic-space","display_name":"semantic space","score":0.8640000224113464},{"id":"https://openalex.org/keywords/post-training","display_name":"post-training","score":0.5759999752044678},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"reinforcement learning","score":0.8790000081062317},{"id":"https://openalex.org/keywords/mode-seeking","display_name":"mode seeking","score":0.8970000147819519}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7925999760627747},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5569000244140625},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.5386000275611877},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.536300003528595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5361999869346619},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45019999146461487},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.38940000534057617},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.38040000200271606},{"id":"https://openalex.org/C43091099","wikidata":"https://www.wikidata.org/wiki/Q1067788","display_name":"Through-the-lens metering","level":3,"score":0.34709998965263367},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.3296000063419342},{"id":"https://openalex.org/C130327152","wikidata":"https://www.wikidata.org/wiki/Q748349","display_name":"Mathematical structure","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29420000314712524},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.2851000130176544},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28200000524520874},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27410000562667847}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.28600","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28600","pdf_url":"https://arxiv.org/pdf/2608.28600","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.28600","doi":"https://doi.org/10.48550/arxiv.2608.28600","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.28600","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.28600","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28600","pdf_url":"https://arxiv.org/pdf/2608.28600","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204934286.pdf","grobid_xml":"https://content.openalex.org/works/W7204934286.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4415336595","https://openalex.org/W4407359594","https://openalex.org/W4417170767","https://openalex.org/W4417531489","https://openalex.org/W4415914377","https://openalex.org/W4402670487","https://openalex.org/W7135208568","https://openalex.org/W4416036511","https://openalex.org/W4412944855","https://openalex.org/W7138862905"],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2,76,136],"(LLMs)":[3],"achieve":[4],"strong":[5],"performance":[6],"on":[7,77],"mathematical":[8,39,103],"reasoning":[9,42],"benchmarks,":[10],"yet":[11],"final-answer":[12],"accuracy":[13,87],"reveals":[14],"little":[15],"about":[16],"the":[17,63],"strategies":[18],"they":[19],"use.":[20],"We":[21,118],"introduce":[22,120],"\\texttt{SHAPE}":[23],"(Structured":[24],"Heuristic":[25],"Analysis":[26],"for":[27],"Problem-solving":[28],"Evolution),":[29],"a":[30,45,81],"framework":[31],"grounded":[32],"in":[33,41,57,100],"mathematics-education":[34],"research":[35],"that":[36,65],"characterizes":[37],"local":[38],"actions":[40],"trajectories":[43],"using":[44],"problem-independent":[46],"heuristic":[47,90,104,129],"taxonomy.":[48],"Using":[49],"\\texttt{SHAPE},":[50],"we":[51,61,97],"examine":[52],"two":[53],"previously":[54],"hypothesized":[55],"phenomena":[56],"LLM":[58],"reasoning.":[59,133],"First,":[60],"revisit":[62],"hypothesis":[64],"LLMs":[66],"reuse":[67],"learned":[68],"solution":[69,83],"techniques":[70],"under":[71],"problem":[72],"perturbations.":[73],"Across":[74,106,134],"six":[75],"MATH-Perturb,":[78],"perturbations":[79],"requiring":[80],"different":[82],"approach":[84],"yield":[85],"lower":[86],"but":[88],"greater":[89],"shifts":[91],"than":[92],"those":[93],"preserving":[94],"it.":[95],"Second,":[96],"characterize":[98],"mode-seeking":[99],"RLVR":[101,126],"through":[102,128],"profiles.":[105,117],"four":[107],"base--RL":[108],"pairs,":[109],"successful":[110],"RL":[111],"solutions":[112],"overlap":[113],"substantially":[114],"with":[115],"base-model":[116],"further":[119],"Heuristic-Augmented":[121],"Plan-GRPO":[122],"(HA-Plan-GRPO),":[123],"which":[124],"guides":[125],"planning":[127],"selection":[130],"and":[131,137,150],"applicability":[132],"three":[135],"five":[138],"evaluation":[139],"sets,":[140],"it":[141],"improves":[142],"mean":[143,151],"Avg@16":[144],"by":[145,153],"up":[146,154],"to":[147,155],"7.0\\%":[148],"absolute":[149,157],"Pass@16":[152],"2.4\\%":[156],"over":[158],"planning-only":[159],"RLVR.":[160],"Our":[161],"code":[162],"is":[163],"available":[164],"at":[165],"\\href{https://github.com/holi-lab/shape-of-CoT}{https://github.com/holi-lab/shape-of-CoT}.":[166]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-02T00:00:00"}