Jeannette Wing

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Top Venues

Publications

David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR (2024)
Ryan Bernstein, Matthijs Vákár, Jeannette Wing
Transforming Probabilistic Programs for Model Checking. FODS (2020)
Ryan Bernstein, Matthijs Vákár, Jeannette Wing
Transforming Probabilistic Programs for Model Checking. CoRR (2020)