no code implementations • 22 May 2024 • Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig
When planning recovery actions for ensuring safety, the planner utilizes the neural policy to estimate long-term rewards, allowing it to observe beyond its short-term planning horizon.
no code implementations • 3 Sep 2021 • Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more "complete" task description.
no code implementations • 9 Mar 2021 • Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs.
Programming Languages