{"id":"https://openalex.org/W7162402031","doi":"https://doi.org/10.48550/arxiv.2605.25384","title":"GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving","display_name":"GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving","publication_year":2026,"publication_date":"2026-05-25","ids":{"openalex":"https://openalex.org/W7162402031","doi":"https://doi.org/10.48550/arxiv.2605.25384"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.25384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25384","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.2605.25384","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002797727","display_name":"Yingji Zhang","orcid":"https://orcid.org/0000-0003-1499-3309"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yingji","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137052259","display_name":"Yong Dai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dai, Yong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137050257","display_name":"Andr\u00e9 Freitas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Freitas, Andr\u00e9","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/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.30799999833106995,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.30799999833106995,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.09920000284910202,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.07000000029802322,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6025999784469604},{"id":"https://openalex.org/keywords/visual-reasoning","display_name":"Visual reasoning","score":0.527899980545044},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4519999921321869},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.42980000376701355},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4296000003814697},{"id":"https://openalex.org/keywords/manifold","display_name":"Manifold (fluid mechanics)","score":0.3767000138759613},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.36489999294281006},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.3596000075340271},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.3285999894142151}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6380000114440918},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6025999784469604},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.527899980545044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5159000158309937},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4519999921321869},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.42980000376701355},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4296000003814697},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39070001244544983},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.3767000138759613},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.36489999294281006},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3596000075340271},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C107848011","wikidata":"https://www.wikidata.org/wiki/Q4680756","display_name":"Adaptive reasoning","level":4,"score":0.3093000054359436},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.2994999885559082},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C2780330621","wikidata":"https://www.wikidata.org/wiki/Q7936609","display_name":"Visual modeling","level":4,"score":0.29120001196861267},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C160086991","wikidata":"https://www.wikidata.org/wiki/Q5939193","display_name":"Human visual system model","level":3,"score":0.272599995136261},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C155911833","wikidata":"https://www.wikidata.org/wiki/Q3817354","display_name":"Spatial intelligence","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.25384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25384","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.2605.25384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25384","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":[{"score":0.7722348570823669,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Mathematical":[0],"reasoning":[1,81,87,105],"is":[2],"a":[3],"hallmark":[4],"of":[5,78],"human":[6,35],"intelligence,":[7],"requiring":[8],"logical":[9],"deduction,":[10],"symbolic":[11,125],"manipulation,":[12],"and":[13,54,88,109,121],"abstract":[14],"thinking.":[15],"Recent":[16],"multimodal":[17],"large":[18],"language":[19],"models":[20],"(MLLMs)":[21],"have":[22],"demonstrated":[23],"strong":[24],"performance":[25],"on":[26],"geometry":[27],"problems":[28],"through":[29],"multi-step":[30],"reasoning.":[31],"To":[32],"better":[33],"emulate":[34],"problem-solving,":[36],"intermediate":[37,69],"steps":[38,91],"can":[39,92],"incorporate":[40],"auxiliary":[41],"visual":[42,70,128],"constructions,":[43],"such":[44],"as":[45,68,117],"additional":[46],"lines":[47],"or":[48],"points,":[49],"which":[50],"improve":[51],"geometric":[52],"interpretation":[53],"educational":[55],"clarity.":[56],"In":[57],"this":[58],"work,":[59],"we":[60],"introduce":[61],"the":[62,79,96,104],"GeoMathCode,":[63],"where":[64],"programmatic":[65],"representations":[66],"serve":[67],"outputs.":[71],"We":[72],"further":[73],"conduct":[74],"an":[75],"in-depth":[76],"analysis":[77],"underlying":[80],"geometry.":[82],"Experimental":[83],"results":[84],"show":[85],"that":[86],"code":[89,114],"generation":[90],"be":[93],"disentangled":[94,118],"in":[95],"latent":[97,119],"space,":[98],"while":[99],"supervised":[100],"fine-tuning":[101],"(SFT)":[102],"makes":[103],"manifold":[106],"more":[107,123],"structured":[108],"informative.":[110],"Moreover,":[111],"hierarchical":[112],"syntactic":[113],"structures":[115],"emerge":[116],"subspaces,":[120],"contain":[122],"mathematical":[124],"information":[126],"than":[127],"representations.":[129]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-27T00:00:00"}
