#AI #Safety
Reinforcement learning, Verification, Formal specification, Formal verification, Formal methods, Artificial intelligence

Trustworthy AI: explainability, safety and verifiability

On Jan 4, 2021
@ericsson shared
✅ Explainability ✅ #Safety ✅ Verifiability According to our specialists, these are the foundations for the design of every #AI system. Explore more right here 👉 https://t.co/SG5LGXR2T8 https://t.co/LJOKsqdnnt
Open

AI is already affecting our daily lives, but how can we ensure we build trustworthy AI systems? Find out here!

www.ericsson.com
On Jan 4, 2021
@ericsson shared
✅ Explainability ✅ #Safety ✅ Verifiability According to our specialists, these are the foundations for the design of every #AI system. Explore more right here 👉 https://t.co/SG5LGXR2T8 https://t.co/LJOKsqdnnt
Open

Trustworthy AI: explainability, safety and verifiability

Trustworthy AI: explainability, safety and verifiability

AI is already affecting our daily lives, but how can we ensure we build trustworthy AI systems? Find out here!

DeepMind’s Three Pillars for Building Robust Machine Learning Systems

DeepMind’s Three Pillars for Building Robust Machine Learning Systems

Specification Testing, Robust Training and Formal Verification are three elements that the AI powerhouse believe hold the essence of robust machine learning models.

Safe Machine Learning

Safe Machine Learning

The ultimate goal of ML research should be to have a positive impact on society and the world. As the number of applications of ML increases, it becomes more important to address a variety ...

Towards Robust and Verified AI: Specification Testing, Robust Training, and Formal Verification

Towards Robust and Verified AI: Specification Testing, Robust Training, and Formal Verification

Bugs and software have gone hand in hand since the beginning of computer programming. Over time, software developers have established a set of best practices for testing and debugging ...

Click here to read the article

Click here to read the article

Verifiable Self-Certifying Autonomous Systems Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster Computer Science Department, University of Liverpool, UK ...

The Intersection of Networking and AI/ML

The Intersection of Networking and AI/ML

Tue, Aug 27, 2019, 3:00 PM: Join us for an exciting meetup featuring talks on topics and projects at the intersection of networking and artificial intelligence (AI) & machine learning ...

Formal verification of smart contracts : trust in the making

Formal verification of smart contracts : trust in the making

Bug-free programming is a difficult task and a fundamental challenge for critical systems. To this end, formal methods provide techniques…

Ph D student, Computing Science, ethical principles of AI systems

Ph D student, Computing Science, ethical principles of AI systems

Research topic: Formal verification of ethical principles of AI systems Umeå University, the Department of Computing Science, is seeking outstanding candidates for a Wallenberg Autonomous ...