{"id":"https://openalex.org/W7129355998","doi":"https://doi.org/10.48550/arxiv.2602.13218","title":"Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning","display_name":"Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning","publication_year":2026,"publication_date":"2026-01-23","ids":{"openalex":"https://openalex.org/W7129355998","doi":"https://doi.org/10.48550/arxiv.2602.13218"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.13218","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":null,"license_id":null,"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/A5126226884","display_name":"Bowen Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Bowen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101810631","display_name":"Zhe Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Zhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033355143","display_name":"Runquan Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Runquan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126193953","display_name":"Zhanhui Kang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kang, Zhanhui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5126201267","display_name":"Jia Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Jia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.41850000619888306,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.41850000619888306,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.12690000236034393,"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/T10028","display_name":"Topic Modeling","score":0.03550000116229057,"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.8238000273704529},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6771000027656555},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.517300009727478},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.501800000667572},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.49959999322891235},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.37770000100135803},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.35269999504089355},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.34360000491142273}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8238000273704529},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6771000027656555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6098999977111816},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.501800000667572},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.49959999322891235},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44290000200271606},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.37770000100135803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37700000405311584},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.33660000562667847},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.33329999446868896},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.29739999771118164},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.29600000381469727},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27140000462532043},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.26330000162124634},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.25369998812675476}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.13218","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.13218","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.13218","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":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.13218","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"score":0.6369301080703735,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reinforcement":[0],"Learning":[1],"from":[2,30,104],"Verifiable":[3],"Rewards":[4],"(RLVR)":[5],"is":[6,37],"bottlenecked":[7],"by":[8,90],"data:":[9],"existing":[10],"synthesis":[11],"pipelines":[12],"rely":[13],"on":[14,125,147],"expert-written":[15],"code":[16,94],"or":[17],"fixed":[18],"templates,":[19],"confining":[20],"growth":[21],"to":[22,33,164],"instance-level":[23],"perturbations.":[24],"We":[25],"shift":[26],"the":[27],"evolvable":[28],"unit":[29],"problem":[31],"instances":[32],"task-family":[34],"specifications.":[35],"SSLogic":[36],"an":[38],"agentic":[39],"meta-synthesis":[40],"framework":[41],"in":[42,155],"which":[43],"LLM":[44],"agents":[45,86],"iteratively":[46],"author":[47],"and":[48,63,92,114,123,144,158],"refine":[49],"executable":[50],"Generator-Validator":[51],"pairs":[52],"inside":[53],"a":[54],"closed":[55],"Generate-Validate-Refine":[56],"loop,":[57],"producing":[58],"families":[59,113],"with":[60,137],"new":[61],"rules":[62],"difficulty":[64],"gradients":[65],"rather":[66],"than":[67],"parameter":[68],"variations":[69],"of":[70,134,139],"old":[71],"ones.":[72],"A":[73],"Multi-Gate":[74],"Validation":[75],"Protocol":[76],"--":[77,95],"multi-strategy":[78],"consensus":[79],"plus":[80],"Adversarial":[81],"Blind":[82],"Review,":[83],"where":[84],"independent":[85],"solve":[87],"each":[88],"instance":[89],"writing":[91],"executing":[93],"filters":[96],"ill-posed":[97],"tasks":[98],"before":[99],"they":[100],"enter":[101],"training.":[102],"Starting":[103],"400":[105],"seed":[106],"families,":[107],"two":[108],"evolution":[109,163],"rounds":[110],"yield":[111],"953":[112],"21,389":[115],"verifiable":[116],"instances.":[117],"Three":[118],"converging":[119],"comparisons":[120],"(step-matched,":[121],"token-matched,":[122],"size-controlled":[124],"external":[126],"Enigmata":[127],"data)":[128],"consistently":[129],"show":[130],"higher":[131],"training":[132],"utility":[133],"evolved":[135],"data,":[136],"gains":[138],"SynLogic":[140],"+5.2,":[141],"AIME25":[142],"+3.0,":[143],"BBH":[145],"+5.5":[146],"Enigmata.":[148],"Fine-grained":[149],"KORBench":[150],"evaluation":[151],"reveals":[152],"selective":[153],"improvements":[154],"logic":[156],"(+13.2%)":[157],"operation":[159],"(+9.6%),":[160],"linking":[161],"structural":[162],"downstream":[165],"gains.":[166],"Code:":[167],"https://github.com/AdAstraAbyssoque/Scaling-the-Scaling-Logic":[168]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-18T00:00:00"}