Article Source

• Toward Verified Artificial Intelligence

Toward Verified Artificial Intelligence

• Sanjit A. Seshia discusses “Toward Verified Artificial Intelligence,” a Contributed Article in the July 2022 CACM.
• Arxiv Paper: Towards Verified Artificial Intelligence
• Contributed Articles: Toward Verified Artificial Intelligence