1 code implementation • 22 Nov 2023 • Ayush Agrawal, Raghav Prabhakar, Anirudh Goyal, Dianbo Liu
In this study, we explore the sophisticated domain of task planning for robust household embodied agents, with a particular emphasis on the intricate task of selecting substitute objects.
1 code implementation • 29 May 2023 • Ayush Agrawal, Mirac Suzgun, Lester Mackey, Adam Tauman Kalai
In this work, we focus on hallucinated book and article references and present them as the "model organism" of language model hallucination research, due to their frequent and easy-to-discern nature.
no code implementations • 10 May 2023 • Nandiraju Gireesh, Ayush Agrawal, Ahana Datta, Snehasis Banerjee, Mohan Sridharan, Brojeshwar Bhowmick, Madhava Krishna
The Multi-Object Navigation (MultiON) task requires a robot to localize an instance (each) of multiple object classes.
no code implementations • 14 Nov 2022 • Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri
Mathematics formalisation is the task of writing mathematics (i. e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctness by a program.
no code implementations • 1 Jul 2021 • Scott Gilroy, Derek Lau, Lizhi Yang, Ed Izaguirre, Kristen Biermayer, Anxing Xiao, Mengti Sun, Ayush Agrawal, Jun Zeng, Zhongyu Li, Koushil Sreenath
The resulted jumping mode is utilized in an autonomous navigation pipeline that leverages a search-based global planner and a local planner to enable the robot to reach the goal location by walking.
no code implementations • L4DC 2020 • Fernando Castañeda, Mathias Wulfman, Ayush Agrawal, Tyler Westenbroek, Claire J. Tomlin, S. Shankar Sastry, Koushil Sreenath
The main drawbacks of input-output linearizing controllers are the need for precise dynamics models and not being able to account for input constraints.