{"id":"https://openalex.org/W7160890844","doi":"https://doi.org/10.48550/arxiv.2605.09270","title":"Memorize Theorems, Not Instances: Probing SFT Generalization through Mathematical Reasoning","display_name":"Memorize Theorems, Not Instances: Probing SFT Generalization through Mathematical Reasoning","publication_year":2026,"publication_date":"2026-05-10","ids":{"openalex":"https://openalex.org/W7160890844","doi":"https://doi.org/10.48550/arxiv.2605.09270"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.09270","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09270","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":null,"license_id":null,"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.2605.09270","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060194083","display_name":"Ru\u2010Wen Peng","orcid":"https://orcid.org/0000-0003-0424-2771"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Ruiying","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135989305","display_name":"Mengyu Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Mengyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100760612","display_name":"Lei Jing","orcid":"https://orcid.org/0000-0002-1181-2536"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lei, Jing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136000328","display_name":"Xiaohui Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xiaohui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135925418","display_name":"Xueyu Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Xueyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135972741","display_name":"Xinlei Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Xinlei","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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.30169999599456787,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.30169999599456787,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11307","display_name":"Domain Adaptation and Few-Shot Learning","score":0.17090000212192535,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.04149999842047691,"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/memorization","display_name":"Memorization","score":0.8432999849319458},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.7429999709129333},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6751999855041504},{"id":"https://openalex.org/keywords/cognitive-reframing","display_name":"Cognitive reframing","score":0.398499995470047},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.39570000767707825},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.39500001072883606},{"id":"https://openalex.org/keywords/analogical-reasoning","display_name":"Analogical reasoning","score":0.3707999885082245},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.367000013589859}],"concepts":[{"id":"https://openalex.org/C30038468","wikidata":"https://www.wikidata.org/wiki/Q4354775","display_name":"Memorization","level":2,"score":0.8432999849319458},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.7429999709129333},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6751999855041504},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.566100001335144},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5343999862670898},{"id":"https://openalex.org/C187029079","wikidata":"https://www.wikidata.org/wiki/Q958679","display_name":"Cognitive reframing","level":2,"score":0.398499995470047},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.39500001072883606},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3937999904155731},{"id":"https://openalex.org/C2985612853","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogical reasoning","level":3,"score":0.3707999885082245},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.367000013589859},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32919999957084656},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3208000063896179},{"id":"https://openalex.org/C2994050667","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstract reasoning","level":3,"score":0.3138999938964844},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.3118000030517578},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2838999927043915},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2703000009059906},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.25609999895095825}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.09270","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09270","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.09270","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09270","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.45256197452545166}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Supervised":[0],"Fine-Tuning":[1],"(SFT)":[2],"is":[3,23],"widely":[4],"used":[5],"for":[6],"task-specific":[7],"adaptation,":[8],"yet":[9],"recent":[10],"work":[11],"shows":[12],"it":[13],"systematically":[14],"undermines":[15],"reasoning":[16,113],"generalization.":[17],"We":[18],"argue":[19],"the":[20,109,118,132],"root":[21],"cause":[22],"not":[24,123],"memorization":[25,125],"itself,":[26],"but":[27,129],"its":[28],"target:":[29],"vanilla":[30],"SFT":[31],"drives":[32],"models":[33,66],"to":[34,47],"exploit":[35],"and":[36,83,90],"memorize":[37],"spurious":[38],"surface":[39],"correlations":[40],"in":[41],"problem-solution":[42],"pairs,":[43],"leaving":[44],"them":[45],"brittle":[46],"superficial":[48],"input":[49],"variations.":[50],"To":[51],"address":[52],"this,":[53],"we":[54],"propose":[55],"Theorem-SFT,":[56],"which":[57],"reorients":[58],"supervision":[59],"toward":[60],"explicit":[61],"theorem":[62],"application":[63],"by":[64],"teaching":[65],"how":[67],"rules":[68],"are":[69],"invoked":[70],"rather":[71],"than":[72],"what":[73],"answers":[74],"look":[75],"like.":[76],"Theorem-SFT":[77],"yields":[78],"consistent":[79],"gains":[80],"across":[81],"benchmarks":[82],"model":[84],"families:":[85],"+8.8%":[86],"on":[87,92],"MATH":[88],"(LLaMA3.2-3B-Instruct)":[89],"+20.27%":[91],"GeoQA":[93],"(Qwen2.5-VL-7B-Instruct)":[94],"without":[95],"modality-specific":[96],"re-training.":[97],"Fine-tuning":[98],"MLP":[99],"layers":[100],"alone":[101],"matches":[102],"full-layers":[103],"performance,":[104],"implicating":[105],"feed-forward":[106],"components":[107],"as":[108,126],"primary":[110],"locus":[111],"of":[112],"rules.":[114],"Our":[115],"findings":[116],"reframe":[117],"debate:":[119],"Generalization":[120],"failures":[121],"stem":[122],"from":[124,130],"a":[127],"mechanism,":[128],"memorizing":[131],"wrong":[133],"inductive":[134],"targets.":[135]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-13T00:00:00"}