27 citations · 126 across the 20 of their papers we have counts for
3 papers · 1 filter
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
Yichen David Yang, Jeevana Priya Inala, Osbert Bastani +3
A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However,…
"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations
Himabindu Lakkaraju, Osbert Bastani
As machine learning black boxes are increasingly being deployed in critical domains such as healthcare and criminal justice, there has been a growing emphasis on developing techniq…
Probabilistic Verification of Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
As machine learning systems are increasingly used to make real world legal and financial decisions, it is of paramount importance that we develop algorithms to verify that these sy…