{"id":"https://openalex.org/W7160656952","doi":"https://doi.org/10.48550/arxiv.2605.06660","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","display_name":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","publication_year":2026,"publication_date":"2026-05-07","ids":{"openalex":"https://openalex.org/W7160656952","doi":"https://doi.org/10.48550/arxiv.2605.06660"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.06660","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.06660","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.06660","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135720589","display_name":"Yuhang Lai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lai, Yuhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013569210","display_name":"Jiazhan Feng","orcid":"https://orcid.org/0000-0002-5832-6199"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Jiazhan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135710635","display_name":"Yee Whye Teh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teh, Yee Whye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5127965130","display_name":"Ning Miao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miao, Ning","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/T11948","display_name":"Machine Learning in Materials Science","score":0.25929999351501465,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.25929999351501465,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.08560000360012054,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.08209999650716782,"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/component","display_name":"Component (thermodynamics)","score":0.475600004196167},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.3961000144481659},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.34369999170303345},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.33559998869895935},{"id":"https://openalex.org/keywords/mathematical-problem","display_name":"Mathematical problem","score":0.30149999260902405},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.2969000041484833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7034000158309937},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4636000096797943},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.3961000144481659},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3555999994277954},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.34369999170303345},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C66783780","wikidata":"https://www.wikidata.org/wiki/Q1166625","display_name":"Mathematical problem","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C2992562121","wikidata":"https://www.wikidata.org/wiki/Q3817808","display_name":"Scientific reasoning","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C134121241","wikidata":"https://www.wikidata.org/wiki/Q899301","display_name":"Yield (engineering)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.06660","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.06660","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.06660","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.06660","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":[{"display_name":"Peace, Justice and strong institutions","score":0.47759193181991577,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"demonstrate":[4],"strong":[5],"capabilities":[6],"for":[7,27],"solving":[8],"scientific":[9,34],"and":[10,20,31,102,117,129],"mathematical":[11,131],"problems,":[12],"yet":[13],"they":[14],"struggle":[15],"to":[16,58,91],"produce":[17],"valid,":[18],"challenging,":[19],"novel":[21],"problems":[22,56],"-":[23],"an":[24,77],"essential":[25],"component":[26],"advancing":[28],"LLM":[29],"training":[30],"enabling":[32],"autonomous":[33],"research.":[35],"Existing":[36],"problem":[37,68,96],"generation":[38,69],"approaches":[39],"either":[40],"depend":[41],"on":[42,125],"expensive":[43],"human":[44],"expert":[45],"involvement":[46],"or":[47],"adopt":[48],"naive":[49],"self-play":[50],"paradigms,":[51],"which":[52],"frequently":[53],"yield":[54],"invalid":[55],"due":[57],"reward":[59,90],"hacking.":[60],"This":[61],"work":[62],"introduces":[63],"VHG,":[64],"a":[65,113,118,145],"verifier-enhanced":[66],"hard":[67],"framework":[70],"built":[71],"upon":[72],"three-party":[73],"self-play.":[74],"By":[75],"integrating":[76],"independent":[78],"verifier":[79,111,116],"into":[80],"the":[81,88,100,106],"conventional":[82],"setter-solver":[83],"duality,":[84],"our":[85],"design":[86],"constrains":[87],"setter's":[89],"be":[92],"jointly":[93],"determined":[94],"by":[95,99,105,144],"validity":[97],"(evaluated":[98],"verifier)":[101],"difficulty":[103],"(assessed":[104],"solver).":[107],"We":[108],"instantiate":[109],"two":[110],"variants:":[112],"Hard":[114],"symbolic":[115],"Soft":[119],"LLM-based":[120],"verifier,":[121],"with":[122],"evaluations":[123],"conducted":[124],"indefinite":[126],"integral":[127],"tasks":[128],"general":[130],"reasoning":[132],"tasks.":[133],"Experimental":[134],"results":[135],"show":[136],"that":[137],"VHG":[138],"substantially":[139],"outperforms":[140],"all":[141],"baseline":[142],"methods":[143],"clear":[146],"margin.":[147]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-09T00:00:00"}