This work introduces a neural MCTS algorithm customized for ARC-AGI, which amplifies exploration by directing the search toward promising solutions via learned neural guidance, yielding robust performance on demanding ARC tasks.
This research presents an autonomous AI Coding Agent which establishes a connection between LLM-generated content and production-ready software through its organized methodology for decision making through its tailored Monte Carlo Tree Search method.
Pravin Game, V. Ramakrishnan, Prathamesh Wagh· 0 citations
Combinatorial problems appear in numerous industrial applications. A common approach is to formulate these problems as declarative constraint models that can subsequently be compiled to and solved by a range of back-end solvers. Recent work shows that Large Language Models (LLMs) can produce correct models from natural...
COGTRL is proposed, a trajectory-level reinforcement learning framework that trains LLMs to emulate cognitively grounded reasoning by jointly optimizing cognitive traces and the scientific steps produced in an interleaved manner.
Shrinidhi Kumbhar, Santosh Mashetty, Divij Handa et al.· 1 citation
PoTRE (Poly-Topological Reasoning Ensembles), a heterogeneous framework that decouples inference into four agents that achieves improved reasoning performance using similar or fewer inference tokens compared to heavily scaled homogeneous baselines is introduced.
This work proposes $O^2-CritiCuRL, a novel curriculum reinforcement learning framework that introduces critical-step awareness through an iterative offline-online paradigm, and employs a progressive step-level reinforcement learning strategy, where truncated chains guide the model to infer missing steps and refine its...
Wendi Deng, Hang Du, Guoshun Nan et al.· arXiv.org· 0 citations
This work instantiate parametric learning via prefix-tuning and augment an LLM to ingest both prefix weights and rich textual data which capture relationships to a target capability, and synthesizes these inputs to perform instruction-steered parametric synthesis, directly outputting new prefix weights that manifest th...
Lucio M. Dery, Benedict Aaron Tjandra, Siavash Samiei et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.