Videos tagged 'logic and mathematics'

Mike Miller with AWS on How Automated Reasoning Makes AI Systems Trustworthy