159 citations · 798 across the 116 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 1 cited
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…
cs.LG2018★ 159 cited
Verifiable Reinforcement Learning via Policy Extraction
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
While deep reinforcement learning has successfully solved many challenging control tasks, its real-world applicability has been limited by the inability to ensure the safety of lea…