Home
Subscriptions
Chat
Activity
Explore
Profile
Create
Quinn Dougherty
@quinndougherty
Ole Q Doc is working on AI security via formal methods, getting back into Wagner (harmonically, mythologically, etc), and yearning for the sea.
Montsalvat
Can We Secure AI With Formal Methods?
@qd_forall
184 subscribers
Subscribe
Message
Activity
Posts
Likes
Reads (24)
Get app
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts