{"id":"https://openalex.org/W4394709703","doi":"https://doi.org/10.48550/arxiv.2404.06405","title":"Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry","display_name":"Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry","publication_year":2024,"publication_date":"2024-04-09","ids":{"openalex":"https://openalex.org/W4394709703","doi":"https://doi.org/10.48550/arxiv.2404.06405"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2404.06405","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.06405","pdf_url":"https://arxiv.org/pdf/2404.06405","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2404.06405","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109683007","display_name":"Shiven Sinha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sinha, Shiven","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113274335","display_name":"Ameya Prabhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Prabhu, Ameya","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077509916","display_name":"Ponnurangam Kumaraguru","orcid":"https://orcid.org/0000-0001-5082-2078"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kumaraguru, Ponnurangam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102647015","display_name":"Siddharth Bhat","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bhat, Siddharth","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061457780","display_name":"Matthias Bethge","orcid":"https://orcid.org/0000-0002-6417-7812"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bethge, Matthias","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":true,"cited_by_count":1,"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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.3091999888420105,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.3091999888420105,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.295199990272522,"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/T14510","display_name":"Medical Imaging and Analysis","score":0.26930001378059387,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.42345619201660156},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3875850737094879},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3699437379837036}],"concepts":[{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.42345619201660156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3875850737094879},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3699437379837036}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2404.06405","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.06405","pdf_url":"https://arxiv.org/pdf/2404.06405","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2404.06405","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2404.06405","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":"pmh:oai:arXiv.org:2404.06405","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.06405","pdf_url":"https://arxiv.org/pdf/2404.06405","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320315389","display_name":"Open Philanthropy Project","ror":"https://ror.org/004d1k391"},{"id":"https://openalex.org/F4320319740","display_name":"Good Ventures Foundation","ror":"https://ror.org/01t5wp533"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394709703.pdf","grobid_xml":"https://content.openalex.org/works/W4394709703.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Proving":[0],"geometric":[1],"theorems":[2],"constitutes":[3],"a":[4,25,36,46,142,146,207],"hallmark":[5],"of":[6,19,34,52,98,105,124,136,149,178,189,219],"visual":[7],"reasoning":[8],"combining":[9,200],"both":[10],"intuitive":[11],"and":[12,81,96,127,130,165],"logical":[13],"skills.":[14],"Therefore,":[15],"automated":[16,30,211],"theorem":[17,212],"proving":[18,213],"Olympiad-level":[20],"geometry":[21],"problems":[22,58,161,192],"is":[23,86],"considered":[24],"notable":[26],"milestone":[27],"in":[28],"human-level":[29],"reasoning.":[31],"The":[32],"introduction":[33],"AlphaGeometry,":[35,80],"neuro-symbolic":[37],"model":[38],"trained":[39],"with":[40,79,119,145,202],"100":[41],"million":[42],"synthetic":[43,122],"samples,":[44],"marked":[45],"major":[47],"breakthrough.":[48],"It":[49],"solved":[50,67,102],"25":[51],"30":[53,137,220],"International":[54],"Mathematical":[55],"Olympiad":[56],"(IMO)":[57],"whereas":[59],"the":[60,75,106,120,167,176,190,222],"reported":[61],"baseline":[62,171],"based":[63],"on":[64,214],"Wu's":[65,84,89,117,184,203],"method":[66,85,90,118,157,185,204,225],"only":[68],"ten.":[69],"In":[70],"this":[71,155],"note,":[72],"we":[73,205],"revisit":[74],"IMO-AG-30":[76],"Challenge":[77],"introduced":[78],"find":[82],"that":[83,193],"surprisingly":[87],"strong.":[88],"alone":[91],"can":[92],"solve":[93],"15":[94],"problems,":[95,221],"some":[97],"them":[99],"are":[100],"not":[101],"by":[103,139,199],"any":[104],"other":[107],"methods.":[108],"This":[109],"leads":[110],"to":[111,174,196],"two":[112],"key":[113],"findings:":[114],"(i)":[115],"Combining":[116],"classic":[121,156],"methods":[123,138],"deductive":[125],"databases":[126],"angle,":[128],"ratio,":[129],"distance":[131],"chasing":[132],"solves":[133,158,187],"21":[134],"out":[135,218],"just":[140,159],"using":[141],"CPU-only":[143],"laptop":[144],"time":[147],"limit":[148],"5":[150,191],"minutes":[151],"per":[152],"problem.":[153],"Essentially,":[154],"4":[160],"less":[162],"than":[163],"AlphaGeometry":[164,194,201],"establishes":[166],"first":[168,223],"fully":[169],"symbolic":[170],"strong":[172],"enough":[173],"rival":[175],"performance":[177],"an":[179,228],"IMO":[180,229],"silver":[181],"medalist.":[182,231],"(ii)":[183],"even":[186],"2":[188],"failed":[195],"solve.":[197],"Thus,":[198],"set":[206],"new":[208],"state-of-the-art":[209],"for":[210],"IMO-AG-30,":[215],"solving":[216],"27":[217],"AI":[224],"which":[226],"outperforms":[227],"gold":[230]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-09-04T10:56:28.161419","created_date":"2025-10-10T00:00:00"}