{"id":"https://openalex.org/W7130685536","doi":"https://doi.org/10.48550/arxiv.2602.16793","title":"Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models","display_name":"Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models","publication_year":2026,"publication_date":"2026-02-18","ids":{"openalex":"https://openalex.org/W7130685536","doi":"https://doi.org/10.48550/arxiv.2602.16793"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.16793","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108929019","display_name":"Xingyu Dang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dang, Xingyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101529714","display_name":"Rohit Agarwal","orcid":"https://orcid.org/0000-0003-4846-7745"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Agarwal, Rohit","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126455240","display_name":"Rodrigo Porto","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Porto, Rodrigo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Goyal, Anirudh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Goyal, Anirudh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126505649","display_name":"Liam H Fowl","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fowl, Liam H","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5103334936","display_name":"Sanjeev Arora","orcid":"https://orcid.org/0000-0002-8636-9970"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arora, Sanjeev","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5108929019"],"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/T10028","display_name":"Topic Modeling","score":0.1307000070810318,"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"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.1307000070810318,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.10429999977350235,"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/T11345","display_name":"Cognitive and developmental aspects of mathematical skills","score":0.04919999837875366,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6402000188827515},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.6101999878883362},{"id":"https://openalex.org/keywords/cognitive-reframing","display_name":"Cognitive reframing","score":0.4943999946117401},{"id":"https://openalex.org/keywords/olympiad","display_name":"Olympiad","score":0.48899999260902405},{"id":"https://openalex.org/keywords/competition","display_name":"Competition (biology)","score":0.4871000051498413},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.35100001096725464},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.3343000113964081}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6402000188827515},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6101999878883362},{"id":"https://openalex.org/C187029079","wikidata":"https://www.wikidata.org/wiki/Q958679","display_name":"Cognitive reframing","level":2,"score":0.4943999946117401},{"id":"https://openalex.org/C130383907","wikidata":"https://www.wikidata.org/wiki/Q221956","display_name":"Olympiad","level":2,"score":0.48899999260902405},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.4871000051498413},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42239999771118164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3831999897956848},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3343000113964081},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29030001163482666},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2632000148296356},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2533000111579895},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.2526000142097473},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.16793","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Article"},{"id":"doi:10.48550/arxiv.2602.16793","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.16793","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":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.16793","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Article"},"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":{"In":[0,41],"the":[1,15,88,99,104,167,173,187,191,202],"past":[2],"year,":[3],"custom":[4],"and":[5,130,180,183],"unreleased":[6,181],"math":[7,55],"reasoning":[8],"models":[9,31],"reached":[10],"gold":[11],"medal":[12],"performance":[13,21,52,151],"on":[14,28,53,77,175],"International":[16],"Mathematical":[17],"Olympiad":[18],"(IMO).":[19],"Similar":[20],"was":[22],"then":[23],"reported":[24],"using":[25,69,152],"large-scale":[26],"inference":[27,47,60],"publicly":[29,194],"available":[30],"but":[32],"at":[33,57,198],"prohibitive":[34],"costs":[35],"(e.g.,":[36],"3000":[37],"USD":[38],"per":[39,160],"problem).":[40],"this":[42,171],"work,":[43],"we":[44,86],"present":[45],"an":[46,58,157],"pipeline":[48,114,147],"that":[49,98],"attains":[50],"best-in-class":[51],"IMO-style":[54],"problems":[56],"average":[59,158],"cost":[61,159],"orders":[62],"of":[63,162,169,190,201],"magnitude":[64],"below":[65],"competing":[66],"methods":[67],"while":[68],"only":[70],"general-purpose":[71],"off-the-shelf":[72],"models.":[73],"Our":[74,113],"method":[75],"relies":[76],"insights":[78],"about":[79],"grader":[80,107],"failure":[81,117],"in":[82,136],"solver-grader":[83],"pipelines,":[84],"which":[85],"call":[87],"Cognitive":[89],"Well":[90],"(iterative":[91],"refinement":[92],"converging":[93],"to":[94,109],"a":[95,137,199],"wrong":[96],"solution":[97],"solver":[100],"as":[101,103],"well":[102],"pipeline's":[105],"internal":[106],"consider":[108],"be":[110],"basically":[111],"correct).":[112],"addresses":[115],"these":[116],"modes":[118],"through":[119],"conjecture":[120],"extraction,":[121],"wherein":[122],"candidate":[123],"lemmas":[124],"are":[125],"isolated":[126],"from":[127],"generated":[128],"solutions":[129],"independently":[131],"verified":[132],"alongside":[133],"their":[134],"negations":[135],"fresh":[138],"environment":[139],"(context":[140],"detachment).":[141],"On":[142],"IMO-ProofBench":[143],"Advanced":[144],"(PB-Adv),":[145],"our":[146],"achieves":[148],"67.1":[149],"percent":[150],"Gemini":[153],"3.0":[154],"Pro":[155],"with":[156],"question":[161],"approximately":[163],"31":[164],"USD.":[165],"At":[166],"time":[168],"evaluation,":[170],"represented":[172],"state-of-the-art":[174],"PB-Adv":[176],"among":[177],"both":[178],"public":[179],"models,":[182],"more":[184],"than":[185],"doubles":[186],"success":[188],"rate":[189],"next":[192],"best":[193],"accessible":[195],"pipeline,":[196],"all":[197],"fraction":[200],"cost.":[203]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-21T00:00:00"}