Search Results for author:
Found 2 papers, 0 papers with code
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
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
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
