{"id":"https://openalex.org/W7134046850","doi":"https://doi.org/10.48550/arxiv.2603.05234","title":"Recursive Inference Machines for Neural Reasoning","display_name":"Recursive Inference Machines for Neural Reasoning","publication_year":2026,"publication_date":"2026-03-05","ids":{"openalex":"https://openalex.org/W7134046850","doi":"https://doi.org/10.48550/arxiv.2603.05234"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2603.05234","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2603.05234","pdf_url":"https://arxiv.org/pdf/2603.05234","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2603.05234","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128220149","display_name":"Mieszko Komisarczyk","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Komisarczyk, Mieszko","raw_affiliation_strings":["Department of Computer Science , Technical University of Darmstadt , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Technical University of Darmstadt , Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5147974997","display_name":"Saurabh Mathur","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mathur, Saurabh","raw_affiliation_strings":["Department of Computer Science , Technical University of Darmstadt , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Technical University of Darmstadt , Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102620284","display_name":"Maurice Kraus","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kraus, Maurice","raw_affiliation_strings":["Department of Computer Science , Technical University of Darmstadt , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Technical University of Darmstadt , Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064323671","display_name":"Sriraam Natarajan","orcid":"https://orcid.org/0000-0001-9889-6260","observed_orcids":["https://orcid.org/0000-0001-9889-6260","https://orcid.org/0009-0002-2849-2126"]},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]},{"id":"https://openalex.org/I4210094379","display_name":"University of Texas Health Science Center at Dallas","ror":"https://ror.org/00q16t150","country_code":"US","type":"education","lineage":["https://openalex.org/I4210094379"]},{"id":"https://openalex.org/I87573096","display_name":"University of North Texas at Dallas","ror":"https://ror.org/01n51v443","country_code":"US","type":"education","lineage":["https://openalex.org/I87573096"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Natarajan, Sriraam","raw_affiliation_strings":["Department of Computer Science , The University of Texas at Dallas , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , The University of Texas at Dallas , USA","institution_ids":["https://openalex.org/I162577319","https://openalex.org/I4210094379","https://openalex.org/I87573096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037636074","display_name":"Kristian Kersting","orcid":"https://orcid.org/0000-0002-2873-9152","observed_orcids":["https://orcid.org/0000-0002-2873-9152"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kersting, Kristian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.673799991607666,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.673799991607666,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.08560000360012054,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0689999982714653,"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/recursive-inference","display_name":"recursive inference","score":0.9049999713897705},{"id":"https://openalex.org/keywords/inference-engine","display_name":"inference engine","score":0.7699999809265137},{"id":"https://openalex.org/keywords/reweighting","display_name":"reweighting","score":0.7680000066757202},{"id":"https://openalex.org/keywords/sudoku","display_name":"Sudoku","score":0.6060000061988831},{"id":"https://openalex.org/keywords/tabular-data-classification","display_name":"tabular data classification","score":0.9279999732971191},{"id":"https://openalex.org/keywords/tabpfn","display_name":"TabPFN","score":0.6679999828338623}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.8023999929428101},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6758000254631042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6395000219345093},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.5490000247955322},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.47929999232292175},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.47519999742507935},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.4672999978065491},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4075999855995178},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3269999921321869},{"id":"https://openalex.org/C917703","wikidata":"https://www.wikidata.org/wiki/Q7239668","display_name":"Predictive inference","level":5,"score":0.2985000014305115},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.29739999771118164},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.27090001106262207},{"id":"https://openalex.org/C2988105877","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference system","level":5,"score":0.265500009059906},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.2590000033378601},{"id":"https://openalex.org/C186108316","wikidata":"https://www.wikidata.org/wiki/Q352530","display_name":"Adaptive neuro fuzzy inference system","level":4,"score":0.2542000114917755}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2603.05234","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2603.05234","pdf_url":"https://arxiv.org/pdf/2603.05234","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2603.05234","doi":"https://doi.org/10.48550/arxiv.2603.05234","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.05234","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2603.05234","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2603.05234","pdf_url":"https://arxiv.org/pdf/2603.05234","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3948645714","display_name":null,"funder_award_id":"W911NF2010224","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7134046850.pdf","grobid_xml":"https://content.openalex.org/works/W7134046850.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7207831430","https://openalex.org/W7110132888","https://openalex.org/W7162411103","https://openalex.org/W7161850443","https://openalex.org/W2133585753","https://openalex.org/W7214524236","https://openalex.org/W4417455104","https://openalex.org/W7128808343","https://openalex.org/W7138965761","https://openalex.org/W7216412825"],"abstract_inverted_index":{"Neural":[0],"reasoners":[1],"such":[2,123],"as":[3,82,124],"Tiny":[4],"Recursive":[5,56],"Models":[6],"(TRMs)":[7],"solve":[8],"complex":[9,44],"problems":[10],"by":[11,54,71],"combining":[12],"neural":[13,61],"backbones":[14],"with":[15],"specialized":[16],"inference":[17,20,32,68,73],"schemes.":[18],"Such":[19],"schemes":[21],"have":[22],"been":[23],"a":[24,37,60,93],"central":[25],"component":[26],"of":[27,85,127],"stochastic":[28,38],"reasoning":[29,62,101,119],"systems,":[30],"where":[31],"rules":[33],"are":[34],"applied":[35],"to":[36,40,43,89,117],"model":[39],"derive":[41],"answers":[42],"queries.":[45],"In":[46],"this":[47],"work,":[48],"we":[49,110],"bridge":[50],"these":[51],"two":[52],"paradigms":[53],"introducing":[55],"Inference":[57],"Machines":[58],"(RIMs),":[59],"framework":[63],"that":[64,77,112],"explicitly":[65],"incorporates":[66],"recursive":[67],"mechanisms":[69],"inspired":[70],"classical":[72],"engines.":[74],"We":[75],"show":[76,111],"TRMs":[78],"can":[79,114],"be":[80,115],"expressed":[81],"an":[83],"instance":[84],"RIMs,":[86],"allowing":[87],"us":[88],"extend":[90],"them":[91],"through":[92],"reweighting":[94],"component,":[95],"yielding":[96],"better":[97],"performance":[98],"on":[99,120],"challenging":[100],"benchmarks,":[102],"including":[103],"ARC-AGI-1,":[104],"ARC-AGI-2,":[105],"and":[106],"Sudoku":[107],"Extreme.":[108],"Furthermore,":[109],"RIMs":[113],"used":[116],"improve":[118],"other":[121],"tasks,":[122],"the":[125],"classification":[126],"tabular":[128],"data,":[129],"outperforming":[130],"TabPFNs.":[131]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-03-07T00:00:00"}