{"id":"https://openalex.org/W7160905519","doi":"https://doi.org/10.48550/arxiv.2605.09012","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","display_name":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","publication_year":2026,"publication_date":"2026-05-09","ids":{"openalex":"https://openalex.org/W7160905519","doi":"https://doi.org/10.48550/arxiv.2605.09012"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.09012","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09012","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.09012","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051302583","display_name":"Zicheng Lyu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lyu, Zicheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135956286","display_name":"Wenjie Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Wenjie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130164417","display_name":"Shengzhong Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Shengzhong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135952874","display_name":"Zengfeng Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Zengfeng","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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.4325000047683716,"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.4325000047683716,"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/T10028","display_name":"Topic Modeling","score":0.07360000163316727,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.061900001019239426,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7998999953269958},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.7329999804496765},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5960999727249146},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4577000141143799},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.42170000076293945},{"id":"https://openalex.org/keywords/decoupling","display_name":"Decoupling (probability)","score":0.41019999980926514},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.39969998598098755}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7998999953269958},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.7329999804496765},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6449000239372253},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5960999727249146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49410000443458557},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4577000141143799},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.41019999980926514},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.36320000886917114},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3610000014305115},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.3321000039577484},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.28780001401901245},{"id":"https://openalex.org/C105345328","wikidata":"https://www.wikidata.org/wiki/Q206276","display_name":"Citation analysis","level":3,"score":0.2802000045776367},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.27810001373291016},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27079999446868896},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.09012","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09012","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.09012","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09012","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":[{"score":0.4770517647266388,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"are":[3],"increasingly":[4],"capable":[5],"at":[6],"closed-world":[7],"mathematical":[8,72,188],"reasoning,":[9],"but":[10,166],"research":[11],"assistance":[12],"also":[13,100],"requires":[14],"source-grounded":[15,104],"use":[16,190],"of":[17,86,155],"the":[18,33,53,84,102,114,128,140,145,173],"literature.":[19],"When":[20],"a":[21,24,27,37,42,65,79,87,121,192],"proof":[22,55,85,115,175],"reaches":[23,149],"non-trivial":[25],"step,":[26],"useful":[28],"assistant":[29],"should":[30],"determine":[31],"whether":[32],"needed":[34],"tool":[35,189],"(e.g.,":[36],"lemma)":[38],"already":[39],"exists,":[40],"identify":[41],"suitable":[43],"scholarly":[44],"source,":[45],"and":[46,93,182],"verify":[47],"that":[48,108,159],"its":[49],"assumptions":[50],"align":[51],"with":[52,90,135],"current":[54,141,160],"context.":[56],"To":[57],"rigorously":[58],"evaluate":[59],"such":[60],"capabilities,":[61],"we":[62],"introduce":[63],"Re$^2$Math,":[64],"benchmark":[66,129,142],"for":[67,113],"tool-grounded":[68],"retrieval":[69,123],"from":[70,78],"partial":[71],"proofs.":[73],"Each":[74],"instance":[75],"is":[76,117],"built":[77],"candidate":[80],"instrumental":[81],"citation":[82,179],"in":[83,107],"main":[88],"theorem,":[89],"hierarchical":[91],"context":[92],"an":[94],"optional":[95],"leakage-controlled":[96],"anchor":[97],"hint.":[98],"We":[99],"make":[101],"task":[103],"yet":[105],"citation-agnostic":[106],"any":[109],"admissible":[110],"theorem":[111],"sufficient":[112],"transition":[116],"accepted.":[118],"Evaluation":[119],"uses":[120],"release-frozen":[122],"artifact,":[124],"ensuring":[125],"reproducibility,":[126],"while":[127],"itself":[130],"supports":[131],"automatic,":[132],"continual":[133],"expansion":[134],"newly":[136],"constructed":[137],"instances.":[138],"On":[139],"test":[143],"set,":[144],"best":[146],"fixed-judge":[147],"ToolAcc":[148],"7.0%,":[150],"despite":[151],"substantially":[152],"higher":[153],"rates":[154],"source":[156],"grounding,":[157,181],"indicating":[158],"systems":[161],"often":[162],"retrieve":[163],"valid":[164],"statements":[165],"fail":[167],"to":[168,172],"establish":[169],"their":[170],"applicability":[171],"local":[174],"step.":[176],"By":[177],"decoupling":[178],"recall,":[180],"proof-gap":[183],"sufficiency,":[184],"Re$^2$Math":[185],"transforms":[186],"literature-grounded":[187],"into":[191],"controlled":[193],"diagnostic":[194],"task.":[195]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-13T00:00:00"}