84 citations · 356 across the 59 of their papers we have counts for
4 papers · 1 filter
From Batch to Stream: Automatic Generation of Online Algorithms
Ziteng Wang, Shankara Pailoor, Aaryan Prakash +2
Online streaming algorithms, tailored for continuous data processing, offer substantial benefits but are often more intricate to design than their offline counterparts. This paper…
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
Arko Banerjee, Kia Rahmani, Joydeep Biswas +1
Among approaches for provably safe reinforcement learning, Model Predictive Shielding (MPS) has proven effective at complex tasks in continuous, high-dimensional state spaces, by l…
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
Sadanand Modak, Noah Patton, Isil Dillig +1
This paper addresses the problem of preference learning, which aims to align robot behaviors through learning user specific preferences (e.g. "good pull-over location") from visual…
PhotoScout: Synthesis-Powered Multi-Modal Image Search
Celeste Barnaby, Qiaochu Chen, Chenglong Wang +1
Due to the availability of increasingly large amounts of visual data, there is a growing need for tools that can help users find relevant images. While existing tools can perform i…