Search Results for author: Rushang Karia

Found 8 papers, 5 papers with code

$\forall$uto$\exists$$\lor\!\land$L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks

no code implementations11 Oct 2024 Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava

This paper presents $\forall$uto$\exists$$\lor\!\land$L, a novel benchmark for scaling Large Language Model (LLM) assessment in formal tasks with clear notions of correctness, such as truth maintenance in translation and logical reasoning.

Benchmarking Language Modeling +4

$\forall$uto$\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks

1 code implementation27 Mar 2024 Rushang Karia, Daniel Bramblett, Daksh Dobhal, Pulkit Verma, Siddharth Srivastava

This paper presents $\forall$uto$\exists$val, a new approach for scaling LLM assessment in translating formal syntax -- such as first-order logic, regular expressions, etc -- to natural language (interpretation) or vice versa (compilation), thereby facilitating their use in applications such as generating/explaining logic and control flow for programs etc.

Translation

Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings

1 code implementation13 Feb 2024 Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava

This paper introduces a new approach for continual planning and model learning in relational, non-stationary stochastic environments.

Decision Making Sequential Decision Making

Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems

no code implementations27 Apr 2022 Rushang Karia, Siddharth Srivastava

Reinforcement learning in problems with symbolic state spaces is challenging due to the need for reasoning over long horizons.

Object reinforcement-learning +2

Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems

1 code implementation8 Apr 2022 Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava

Several goal-oriented problems in the real-world can be naturally expressed as Stochastic Shortest Path Problems (SSPs).

Cannot find the paper you are looking for? You can Submit a new open access paper.