4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.AI2024
Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks
Rushang Karia, Daniel Bramblett, Daksh Dobhal +1
This paper presents AutoEval, a novel benchmark for scaling Large Language Model (LLM) assessment in formal tasks with clear notions of correctness, such as truth maintenance in tr…
cs.LG2022★ 4 cited
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems
Rushang Karia, Siddharth Srivastava
Reinforcement learning in problems with symbolic state spaces is challenging due to the need for reasoning over long horizons. This paper presents a new approach that utilizes rela…
cs.LG2020
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning
Rushang Karia, Siddharth Srivastava
Computing goal-directed behavior is essential to designing efficient AI systems. Due to the computational complexity of planning, current approaches rely primarily upon hand-coded…