Frustrated with Code Quality Issues? LLMs can Help!

no code implementations • 22 Sep 2023 • Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani

We present a tool, CORE (short for COde REvisions), architected using a pair of LLMs organized as a duo comprised of a proposer and a ranker.

Instruction Following Program Repair

Policy-Guided Lazy Search with Feedback for Task and Motion Planning

no code implementations • 25 Oct 2022 • Mohamed Khodeir, Atharv Sonwane, Ruthrash Hari, Florian Shkurti

PDDLStream solvers have recently emerged as viable solutions for Task and Motion Planning (TAMP) problems, extending PDDL to problems with continuous action spaces.

Motion Planning Task and Motion Planning

Solving Visual Analogies Using Neural Algorithmic Reasoning

no code implementations • 19 Nov 2021 • Atharv Sonwane, Gautam Shroff, Lovekesh Vig, Ashwin Srinivasan, Tirtharaj Dash

We consider a class of visual analogical reasoning problems that involve discovering the sequence of transformations by which pairs of input/output images are related, so as to analogously transform future inputs.

Program Synthesis Visual Analogies

Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems

no code implementations • 19 Oct 2021 • Atharv Sonwane, Sharad Chitlangia, Tirtharaj Dash, Lovekesh Vig, Gautam Shroff, Ashwin Srinivasan

The ability to solve Bongard problems is an example of such a test.

Inductive logic programming Program Synthesis