{"id":"https://openalex.org/W7166847101","doi":"https://doi.org/10.18653/v1/2026.findings-acl.1410","title":"MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis","display_name":"MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166847101","doi":"https://doi.org/10.18653/v1/2026.findings-acl.1410"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.findings-acl.1410","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1410","pdf_url":"https://aclanthology.org/2026.findings-acl.1410.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.findings-acl.1410.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048944308","display_name":"Zixiong Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zixiong Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139846053","display_name":"Jun Rao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jun Rao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074712456","display_name":"Guhan Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guhan Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133616258","display_name":"Songtao Tian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Songtao Tian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139758543","display_name":"Bohan Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bohan Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133594607","display_name":"Jiansheng Wei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiansheng Wei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139762730","display_name":"Min Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Min Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133624508","display_name":"Xiaojun Meng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaojun Meng","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":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.84190762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"28298","last_page":"28321"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.1256999969482422,"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"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.1256999969482422,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.0843999981880188,"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"}},{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.07079999893903732,"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/constraint","display_name":"Constraint (computer-aided design)","score":0.5586000084877014},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.49869999289512634},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.3095000088214874},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.30799999833106995},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.303600013256073},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.3010999858379364}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5688999891281128},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5586000084877014},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.49869999289512634},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4401000142097473},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4318999946117401},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3564999997615814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.326200008392334},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.3095000088214874},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.30799999833106995},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3010999858379364},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.29649999737739563},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.257099986076355},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.findings-acl.1410","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1410","pdf_url":"https://aclanthology.org/2026.findings-acl.1410.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.findings-acl.1410","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.1410","pdf_url":"https://aclanthology.org/2026.findings-acl.1410.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322392","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166847101.pdf","grobid_xml":"https://content.openalex.org/works/W7166847101.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Synthesizing":[0],"high-quality":[1],"mathematical":[2,154],"reasoning":[3],"data":[4,17,40,114],"without":[5],"human":[6],"priors":[7],"remains":[8],"a":[9,34,48,60,66,101,118],"significant":[10],"challenge.Current":[11],"approaches":[12],"typically":[13],"rely":[14],"on":[15,104,117,140],"seed":[16],"mutation":[18],"or":[19],"simple":[20],"prompt":[21],"engineering,":[22],"often":[23],"suffering":[24],"from":[25,97],"mode":[26],"collapse":[27],"and":[28,107,128],"limited":[29],"logical":[30,109],"complexity.This":[31],"paper":[32],"proposes":[33],"hierarchical":[35],"synthesis":[36,41],"framework":[37],"that":[38,132],"formulates":[39],"as":[42,59],"an":[43],"unsupervised":[44],"optimization":[45],"problem":[46],"over":[47],"constraint":[49],"graph":[50],"followed":[51],"by":[52],"semantic":[53],"instantiation,":[54],"rather":[55],"than":[56],"treating":[57],"it":[58],"direct":[61],"text":[62],"generation":[63,74],"task.We":[64],"introduce":[65],"Legislator-Executor":[67],"paradigm:":[68],"The":[69],"Legislator":[70],"adversarially":[71],"evolves":[72],"structured":[73],"blueprints":[75],"encoding":[76],"the":[77,80,83,124],"constraints":[78],"of":[79,94,120,147],"problem,":[81],"while":[82],"Executor":[84],"instantiates":[85],"these":[86],"specifications":[87],"into":[88],"diverse":[89,108],"natural":[90],"language":[91],"scenarios.This":[92],"decoupling":[93],"skeleton":[95],"design":[96],"linguistic":[98],"realization":[99],"enables":[100],"prioritized":[102],"focus":[103],"constructing":[105],"complex":[106],"structures,":[110],"thereby":[111],"guiding":[112],"highquality":[113],"synthesis.Experiments":[115],"conducted":[116],"total":[119],"10":[121],"models":[122,138],"across":[123,152],"Qwen,":[125],"Llama,":[126],"Mistral,":[127],"Gemma":[129],"series":[130],"demonstrate":[131],"our":[133],"method":[134],"achieves":[135],"notable":[136],"results:":[137],"fine-tuned":[139],"1K":[141],"synthesized":[142],"samples":[143],"outperform":[144],"widely-used":[145],"datasets":[146],"comparable":[148],"scale":[149],"(LIMO,":[150],"s1K)":[151],"eight":[153],"benchmarks,":[155],"exhibiting":[156],"superior":[157],"out-of-distribution":[158],"generalization.":[159]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-07-02T00:00:00"}