{"id":"https://openalex.org/W7159666203","doi":"https://doi.org/10.48550/arxiv.2604.27644","title":"ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning","display_name":"ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning","publication_year":2026,"publication_date":"2026-04-30","ids":{"openalex":"https://openalex.org/W7159666203","doi":"https://doi.org/10.48550/arxiv.2604.27644"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.27644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27644","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.2604.27644","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102625938","display_name":"Chengcao Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yang, Chengcao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5102625938"],"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.34779998660087585,"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.34779998660087585,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.08619999885559082,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.051500000059604645,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8546000123023987},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6703000068664551},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.6481999754905701},{"id":"https://openalex.org/keywords/problem-solver","display_name":"Problem solver","score":0.4742000102996826},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.47099998593330383},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.38119998574256897},{"id":"https://openalex.org/keywords/active-learning","display_name":"Active learning (machine learning)","score":0.3741999864578247},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3400999903678894}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8546000123023987},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7408000230789185},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6703000068664551},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.6481999754905701},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.4742000102996826},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.47099998593330383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46299999952316284},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4544000029563904},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.38119998574256897},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3400999903678894},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.32519999146461487},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32330000400543213},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3012999892234802},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C47177190","wikidata":"https://www.wikidata.org/wiki/Q207137","display_name":"Curriculum","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.27644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27644","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.2604.27644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27644","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.7300168871879578,"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":{"We":[0,39],"propose":[1],"a":[2,15,19,48,55,66,95,125,140,162],"paradigm":[3],"shift":[4],"toward":[5],"open-ended":[6],"curriculum":[7,127],"self-play:":[8],"rather":[9],"than":[10],"learning":[11],"to":[12,23,144],"answer":[13],"on":[14,174],"fixed":[16],"prompt":[17],"set,":[18],"unified":[20],"policy":[21,45],"learns":[22],"question:":[24],"generating":[25],"verifiable":[26,126],"problems,":[27],"solving":[28],"them,":[29,122],"and":[30,54,94,171,177],"turning":[31],"verifier":[32,112],"feedback":[33,113],"into":[34],"self-improvement":[35],"without":[36],"human-annotated":[37],"solutions.":[38,131],"introduce":[40],"ANCORA,":[41],"in":[42,133,146,161],"which":[43],"the":[44,85],"alternates":[46],"between":[47],"Proposer":[49,71,115],"that":[50,57],"synthesizes":[51],"novel":[52],"specifications":[53,74],"Solver":[56,76],"produces":[58],"verified":[59],"solutions,":[60],"anchored":[61],"by":[62,154],"three":[63],"load-bearing":[64],"mechanisms:":[65],"two-level":[67],"group-relative":[68],"update":[69],"coupling":[70],"advantages":[72,77],"across":[73,78],"with":[75,121],"solution":[79],"attempts;":[80],"iterative":[81],"self-distilled":[82],"SFT":[83,142],"projecting":[84],"base":[86],"model":[87],"onto":[88],"its":[89],"valid-output":[90],"manifold":[91],"before":[92],"RL;":[93],"UCB-guided":[96],"Curriculum":[97],"DAG":[98],"whose":[99],"policy-induced":[100],"problem":[101],"set":[102],"can":[103],"provably":[104],"expand":[105],"under":[106,118],"self-composition.":[107],"Without":[108],"these":[109],"stabilizers,":[110],"sparse":[111],"drives":[114],"collapse":[116],"even":[117],"MLRL-aligned":[119],"rewards;":[120],"ANCORA":[123,135],"bootstraps":[124],"from":[128,139,166],"zero":[129],"human":[130],"Instantiated":[132],"Verus,":[134],"lifts":[136],"Dafny2Verus":[137,167],"pass@1":[138,173],"26.6%":[141],"baseline":[143],"81.5%":[145],"test-time":[147],"training":[148,165],"(TTT,":[149],"0-shot),":[150],"outperforming":[151],"PSV":[152],"self-play":[153],"15.8":[155],"points":[156],"despite":[157],"PSV's":[158],"1-shot":[159],"inference;":[160],"transfer":[163],"setting,":[164],"seeds":[168],"yields":[169],"36.2%":[170],"17.2%":[172],"held-out":[175],"MBPP":[176],"HumanEval.":[178]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-02T00:00:00"}