Can We Secure AI With Formal Methods?
Formal methods needs to know that AI security folks are a critical fountain of users. AI security folks need to know how to ask formal methodsititians for widgets. FKA Progress in Guaranteed Safe AI.
By subscribing, I agree to Substack’s Terms of Use and acknowledge its Information Collection Notice and Privacy Policy