{"id":"https://openalex.org/W7118739398","doi":"https://doi.org/10.48550/arxiv.2601.02880","title":"ReTreVal: Reasoning Tree with Validation and Cross-Problem Memory for Large Language Models","display_name":"ReTreVal: Reasoning Tree with Validation and Cross-Problem Memory for Large Language Models","publication_year":2026,"publication_date":"2026-01-06","ids":{"openalex":"https://openalex.org/W7118739398","doi":"https://doi.org/10.48550/arxiv.2601.02880"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2601.02880","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.02880","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":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.2601.02880","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122138972","display_name":"Abhishek HS","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"HS, Abhishek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120250598","display_name":"Pavan C Shekar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shekar, Pavan C","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122184623","display_name":"Arpit Jain","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jain, Arpit","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5120250599","display_name":"Ashwanth Krishnan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krishnan, Ashwanth","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.37470000982284546,"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.37470000982284546,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.11379999667406082,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13629","display_name":"Text Readability and Simplification","score":0.06620000302791595,"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/correctness","display_name":"Correctness","score":0.6506999731063843},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5630000233650208},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.5008999705314636},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.487199991941452},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.48019999265670776},{"id":"https://openalex.org/keywords/iterative-refinement","display_name":"Iterative refinement","score":0.4569000005722046},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.44130000472068787},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.4052000045776367},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.3912000060081482}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.734000027179718},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6506999731063843},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5630000233650208},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5410000085830688},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.5008999705314636},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.487199991941452},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.48019999265670776},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.4569000005722046},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.44130000472068787},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.421999990940094},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4092999994754791},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.4052000045776367},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3912000060081482},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.35659998655319214},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.3481000065803528},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.3239000141620636},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.3061000108718872},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.26260000467300415},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2601.02880","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.02880","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":"doi:10.48550/arxiv.2601.02880","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.02880","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.8694977164268494}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Every":[0],"existing":[1],"inference-time":[2,72],"reasoning":[3],"framework":[4,35],"discards":[5],"all":[6],"failure":[7],"context":[8,54],"at":[9],"problem":[10,16,24],"boundaries,":[11],"leaving":[12],"a":[13,33,60,109,127],"model":[14,129],"solving":[15],"500":[17],"no":[18],"wiser":[19],"than":[20,118],"it":[21],"was":[22],"on":[23,75,86,102],"1.":[25],"We":[26],"present":[27],"ReTreVal":[28,82],"(Reasoning":[29],"Tree":[30],"with":[31,44,108,132],"Validation),":[32],"training-free":[34],"that":[36,50,63],"closes":[37],"this":[38],"gap":[39],"through":[40],"adaptive":[41],"tree":[42],"exploration":[43],"tool-augmented":[45],"node":[46],"refinement,":[47],"typed-failure":[48],"backtracking":[49],"injects":[51],"categorized":[52],"error":[53,115],"into":[55],"the":[56,96],"recovered":[57],"branch,":[58],"and":[59,65,100],"self-rewriting":[61],"memory":[62],"accumulates":[64],"revises":[66],"strategy":[67],"entries":[68],"across":[69],"problems,":[70],"enabling":[71],"cross-problem":[73],"learning":[74],"any":[76],"fixed,":[77],"unmodified":[78],"LLM":[79],"without":[80],"fine-tuning.":[81],"achieves":[83],"85.8%":[84],"pass@1":[85],"MATH-500":[87],"(+8.6":[88],"pp":[89,94,105],"over":[90,95,106],"Zero-Shot":[91],"CoT,":[92],"+8.6":[93],"strongest":[97],"baseline":[98],"Self-Refine)":[99],"54.4%":[101],"MMLU-Pro":[103],"(+15.3":[104],"Self-Refine),":[107],"3.4:1":[110],"win-to-regression":[111],"ratio":[112],"confirming":[113],"genuine":[114],"recovery":[116],"rather":[117],"noise.":[119],"These":[120],"capabilities,":[121],"previously":[122],"requiring":[123],"gradient":[124],"updates,":[125],"allow":[126],"32B":[128],"to":[130],"compete":[131],"much":[133],"larger":[134],"single-pass":[135],"systems.":[136]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-01-08T00:00:00"}