Search Results for author: Jeannette Wing

Found 2 papers, 0 papers with code

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

no code implementations10 May 2024 David "davidad" Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua Tenenbaum

Ensuring that AI systems reliably and robustly avoid harmful or dangerous behaviours is a crucial challenge, especially for AI systems with a high degree of autonomy and general intelligence, or systems used in safety-critical contexts.

Transforming Probabilistic Programs for Model Checking

no code implementations21 Aug 2020 Ryan Bernstein, Matthijs Vákár, Jeannette Wing

Probabilistic programming is perfectly suited to reliable and transparent data science, as it allows the user to specify their models in a high-level language without worrying about the complexities of how to fit the models.

Probabilistic Programming

Cannot find the paper you are looking for? You can Submit a new open access paper.