✳flâneur — a map of the web's best reading

Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment | RAND

rand.org · 1,020 words · saved by 1 readers

The authors determine whether formal methods—using mathematical techniques to reason about software behavior and, potentially, show that systems behave as specified—could meaningfully secure the infrastructure on which artificial intelligence runs.

Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment | RAND Skip to page content The rapid advancement of artificial intelligence (AI) systems has created an urgent need to secure the infrastructure on which AI runs. In this report, the authors use results from a survey sent to experts in AI, formal methods, and other areas to determine whether formal methods —using mathematical techniques to reason about software behavior and, potentially, show that systems behave as specified—could meaningfully secure AI infrastructure. Verified Machine

Explore this link on the map →

saved by

related reading