{"id":"https://openalex.org/W7167633392","doi":"https://doi.org/10.48550/arxiv.2607.04394","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","display_name":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7167633392","doi":"https://doi.org/10.48550/arxiv.2607.04394"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.04394","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04394","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.04394","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5118704560","display_name":"Yu Cao","orcid":"https://orcid.org/0000-0002-9134-8680"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cao, Yichuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140184502","display_name":"Ruichen Qiu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qiu, Ruichen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140162716","display_name":"Junqi Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Junqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140172633","display_name":"Jiaqi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Jiaqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020467462","display_name":"Dakai Guo","orcid":"https://orcid.org/0009-0004-7047-2975"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Dakai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050890628","display_name":"Ruyong Feng","orcid":"https://orcid.org/0000-0001-6508-8486"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Ruyong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026679766","display_name":"Lihong Zhi","orcid":"https://orcid.org/0000-0001-9973-2217"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhi, Lihong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5103668258","display_name":"Gao X","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Xiao-Shan","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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.15610000491142273,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.15610000491142273,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.06949999928474426,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.0560000017285347,"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/architecture","display_name":"Architecture","score":0.5052000284194946},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.4927999973297119},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.44609999656677246},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4343999922275543},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.36329999566078186},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.34779998660087585},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.34119999408721924},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.32820001244544983}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6646000146865845},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5052000284194946},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4927999973297119},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.44609999656677246},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4390999972820282},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4343999922275543},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3817000091075897},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36419999599456787},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.36329999566078186},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.34119999408721924},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C94922259","wikidata":"https://www.wikidata.org/wiki/Q33215","display_name":"Constructed language","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C172347087","wikidata":"https://www.wikidata.org/wiki/Q3217196","display_name":"Language of mathematics","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.303600013256073},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.26489999890327454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.04394","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04394","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.04394","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04394","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"AI":[0],"reasoning":[1,42],"has":[2],"become":[3],"a":[4,57,67,78,113,117,122,129,157,171,182,202],"central":[5],"focus":[6],"in":[7,128,144,194],"contemporary":[8],"artificial":[9],"intelligence,":[10],"largely":[11],"driven":[12,61],"by":[13,26,101],"the":[14,50,70,98,174,195],"success":[15],"of":[16,73,205],"large":[17,58],"language":[18,59],"models.":[19],"However,":[20],"mathematical":[21,74,136,189],"research,":[22],"which":[23,55],"is":[24,56],"characterized":[25],"non-linear":[27],"derivation":[28],"paths,":[29],"rigorous":[30,94],"logical":[31,95],"requirements,":[32],"and":[33,89,121,154,198],"protracted":[34],"exploration":[35],"cycles,":[36],"poses":[37],"severe":[38],"challenges":[39],"for":[40,187],"existing":[41],"systems.":[43],"To":[44],"overcome":[45],"these":[46],"limitations,":[47],"we":[48,108],"present":[49],"MechMath":[51],"Agent":[52],"Team":[53],"(MMAT),":[54],"model":[60],"agent":[62],"designed":[63],"to":[64,132,168],"serve":[65],"as":[66,170],"co-pilot":[68,172],"throughout":[69,173],"full":[71],"cycle":[72],"research.":[75,103],"We":[76,138],"design":[77],"tripartite":[79],"Harness":[80,185],"Architecture":[81,186],"that":[82],"decouples":[83],"system":[84],"responsibilities":[85],"into":[86],"Control,":[87],"Execution,":[88],"Augmentation":[90],"planes,":[91],"thereby":[92],"reconciling":[93],"control":[96],"with":[97],"agility":[99],"demanded":[100],"open-ended":[102],"Building":[104],"upon":[105],"this":[106],"framework,":[107],"instantiate":[109],"three":[110],"specialized":[111],"agents:":[112],"Knowledge":[114],"Base":[115],"Manager,":[116],"Natural":[118],"Language":[119,124],"Prover,":[120,125],"Formal":[123],"all":[126],"operating":[127],"closed":[130],"loop":[131],"produce":[133],"formally":[134],"certified":[135],"proofs.":[137],"evaluate":[139],"MMAT":[140,196],"on":[141,201],"open":[142,206],"problems":[143,161],"Number":[145],"Theory,":[146,149],"Algebraic":[147],"Complexity":[148],"Differential":[150],"Algebra,":[151,153],"Operator":[152],"Inequalities.":[155],"Across":[156],"two-month":[158],"deployment,":[159],"11":[160],"have":[162],"been":[163],"solved,":[164],"demonstrating":[165],"its":[166,191],"capacity":[167],"act":[169],"entire":[175],"research":[176],"cycle.":[177],"The":[178],"contributions":[179],"are":[180],"threefold:":[181],"general":[183],"decoupled":[184],"multi-agent":[188],"reasoning,":[190],"concrete":[192],"instantiation":[193],"system,":[197],"empirical":[199],"validation":[200],"diverse":[203],"suite":[204],"problems.":[207]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-08T00:00:00"}