{"id":"https://openalex.org/W7148685438","doi":"https://doi.org/10.48550/arxiv.2604.01348","title":"Procedural Knowledge at Scale Improves Reasoning","display_name":"Procedural Knowledge at Scale Improves Reasoning","publication_year":2026,"publication_date":"2026-04-01","ids":{"openalex":"https://openalex.org/W7148685438","doi":"https://doi.org/10.48550/arxiv.2604.01348"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.01348","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01348","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":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.01348","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132922646","display_name":"Di Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Di","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000168915","display_name":"Devendra Singh Sachan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sachan, Devendra Singh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132859275","display_name":"Wen-tau Yih","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yih, Wen-tau","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5071943072","display_name":"Mingda Chen","orcid":"https://orcid.org/0009-0002-6283-1291"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Mingda","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/T10028","display_name":"Topic Modeling","score":0.5343000292778015,"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.5343000292778015,"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.14309999346733093,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.07909999787807465,"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/inference","display_name":"Inference","score":0.6324999928474426},{"id":"https://openalex.org/keywords/procedural-knowledge","display_name":"Procedural knowledge","score":0.5098000168800354},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.4796000123023987},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.45890000462532043},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.44130000472068787},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.4284999966621399},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.42820000648498535},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.4253000020980835},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.41909998655319214},{"id":"https://openalex.org/keywords/subroutine","display_name":"Subroutine","score":0.41519999504089355}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7670999765396118},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6324999928474426},{"id":"https://openalex.org/C124469403","wikidata":"https://www.wikidata.org/wiki/Q1813993","display_name":"Procedural knowledge","level":3,"score":0.5098000168800354},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5097000002861023},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.4796000123023987},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45890000462532043},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.44130000472068787},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.43970000743865967},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.4284999966621399},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.42820000648498535},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.4253000020980835},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.41909998655319214},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.41519999504089355},{"id":"https://openalex.org/C187029079","wikidata":"https://www.wikidata.org/wiki/Q958679","display_name":"Cognitive reframing","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.38940000534057617},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.361299991607666},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.3598000109195709},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3303999900817871},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.3077999949455261},{"id":"https://openalex.org/C197914299","wikidata":"https://www.wikidata.org/wiki/Q18650","display_name":"Semantic memory","level":3,"score":0.3050999939441681},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C14156362","wikidata":"https://www.wikidata.org/wiki/Q3235388","display_name":"Descriptive knowledge","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C2777220311","wikidata":"https://www.wikidata.org/wiki/Q6423340","display_name":"Knowledge acquisition","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C49929091","wikidata":"https://www.wikidata.org/wiki/Q1930471","display_name":"General knowledge","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.2587999999523163},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C56814567","wikidata":"https://www.wikidata.org/wiki/Q1323686","display_name":"Explicit knowledge","level":2,"score":0.25}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.01348","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01348","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.01348","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01348","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.7416547536849976,"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":{"Test-time":[0],"scaling":[1,157],"has":[2],"emerged":[3],"as":[4,129,151,153],"an":[5,47],"effective":[6,212],"way":[7],"to":[8,42,171],"improve":[9],"language":[10],"models":[11,66],"on":[12],"challenging":[13],"reasoning":[14,33,65,82,121],"tasks.":[15],"However,":[16],"most":[17],"existing":[18,78],"methods":[19],"treat":[20],"each":[21,86],"problem":[22],"in":[23],"isolation":[24],"and":[25,49,70,123,137,148,173,203,206,214],"do":[26],"not":[27],"systematically":[28],"reuse":[29,215],"knowledge":[30,73,100],"from":[31,77,191],"prior":[32],"trajectories.":[34],"In":[35],"particular,":[36],"they":[37],"underutilize":[38],"procedural":[39,72,99,131,197,217],"knowledge:":[40],"how":[41],"reframe":[43],"a":[44,59,93,105,154,160],"problem,":[45],"choose":[46],"approach,":[48],"verify":[50],"or":[51],"backtrack":[52],"when":[53],"needed.":[54],"We":[55],"introduce":[56],"Reasoning":[57,140],"Memory,":[58],"retrieval-augmented":[60],"generation":[61],"(RAG)":[62],"framework":[63],"for":[64],"that":[67,187],"explicitly":[68],"retrieves":[69],"reuses":[71],"at":[74],"scale.":[75],"Starting":[76],"corpora":[79],"of":[80,95,199,216],"step-by-step":[81],"trajectories,":[83],"we":[84],"decompose":[85],"trajectory":[87],"into":[88],"self-contained":[89],"subquestion-subroutine":[90],"pairs,":[91],"yielding":[92],"datastore":[94],"32":[96],"million":[97],"compact":[98],"entries.":[101],"At":[102],"inference":[103,162],"time,":[104],"lightweight":[106],"in-thought":[107],"prompt":[108],"lets":[109],"the":[110,113,175,195,200],"model":[111],"verbalize":[112],"core":[114],"subquestion,":[115],"retrieve":[116],"relevant":[117],"subroutines":[118,128],"within":[119],"its":[120],"trace,":[122],"reason":[124],"under":[125],"diverse":[126],"retrieved":[127],"implicit":[130],"priors.":[132],"Across":[133],"six":[134],"math,":[135],"science,":[136],"coding":[138],"benchmarks,":[139],"Memory":[141],"consistently":[142],"outperforms":[143],"RAG":[144],"with":[145],"document,":[146],"trajectory,":[147],"template":[149],"knowledge,":[150],"well":[152],"compute-matched":[155,177],"test-time":[156],"baseline.":[158],"With":[159],"higher":[161],"budget,":[163],"it":[164],"improves":[165],"over":[166,174],"no":[167],"retrieval":[168,207],"by":[169,179],"up":[170],"19.2%":[172],"strongest":[176],"baseline":[178],"7.9%":[180],"across":[181],"task":[182],"types.":[183],"Ablation":[184],"studies":[185],"show":[186],"these":[188],"gains":[189],"come":[190],"two":[192],"key":[193],"factors:":[194],"broad":[196],"coverage":[198],"source":[201],"trajectories":[202],"our":[204],"decomposition":[205],"design,":[208],"which":[209],"together":[210],"enable":[211],"extraction":[213],"knowledge.":[218]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-04T00:00:00"}