Alert button
Picture for Ashutosh Trivedi

Ashutosh Trivedi

Alert button

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis

Jan 22, 2024
Richard Roberson, Gowtham Kaki, Ashutosh Trivedi

Viaarxiv icon

Assume-Guarantee Reinforcement Learning

Dec 15, 2023
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

Viaarxiv icon

Omega-Regular Decision Processes

Dec 14, 2023
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

Viaarxiv icon

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

Nov 20, 2023
Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari, Ashutosh Trivedi, Maria Leonor Pacheco

Viaarxiv icon

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

Oct 18, 2023
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Viaarxiv icon

Omega-Regular Reward Machines

Aug 14, 2023
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

Viaarxiv icon

Policy Synthesis and Reinforcement Learning for Discounted LTL

May 29, 2023
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Figure 1 for Policy Synthesis and Reinforcement Learning for Discounted LTL
Figure 2 for Policy Synthesis and Reinforcement Learning for Discounted LTL
Figure 3 for Policy Synthesis and Reinforcement Learning for Discounted LTL
Figure 4 for Policy Synthesis and Reinforcement Learning for Discounted LTL
Viaarxiv icon

Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks

Apr 09, 2023
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari

Figure 1 for Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Figure 2 for Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Figure 3 for Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Figure 4 for Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Viaarxiv icon

Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP

Mar 16, 2023
Amin Falah, Shibashis Guha, Ashutosh Trivedi

Figure 1 for Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Figure 2 for Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Figure 3 for Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Figure 4 for Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Viaarxiv icon