7 papers · 1 filter
Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough
Vishvesh Bhat, Asad Aali, Muhammad Ahmed Mohsin
In procedural tool-use domains, how much of the gap between base models is procedure rather than capability? We build an explicit program from a teacher's traces and run it in fron…
Program Learning with Verifiable Rewards: Symbolic Backpropagation for Post-Training LLMs
Vishvesh Bhat
Post training a language model to reason means updating its weights. Supervised finetuning and reinforcement learning both place the acquired capability inside the model where it c…
Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya Gonzalez
Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reas…
MAVEN: Improving Generalization in Agentic Tool Calling
Omkar Ghugarkar, Vishvesh Bhat, Muhammad Ahmed Mohsin +1
Generalization across agentic tool-calling environments remains a central challenge for reliable agentic reasoning systems. Although large language models achieve strong results on…
Compositional Neuro-Symbolic Reasoning
Anugyan Das, Omkar Ghugarkar, Vishvesh Bhat +1
We study structured abstraction-based reasoning for the Abstraction and Reasoning Corpus (ARC) and compare its generalization to test-time approaches. Purely neural architectures l…
On Generalization in Agentic Tool Calling: CoreThink Agentic Reasoner and MAVEN Dataset
Vishvesh Bhat, Omkar Ghugarkar, Julian McAuley
Generalization across Agentic tool-calling environments remains a key unsolved challenge in developing reliable agentic reasoning systems. While large language models (LLMs) demons…
CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs
Jay Vaghasiya, Omkar Ghugarkar, Vishvesh Bhat +2
We introduce CoreThink, a state-of-the-art Reasoning Layer built upon a novel reasoning method called General Symbolics. This approach diverges from reasoning paradigms such as tes…