A chat with Byron Cook on automated reasoning and trust in AI systems
-
Over the past decade, Byron's team has proven the correctness of our
authorization engine, our cryptographic implementations, and our
virtualization layer....
12 hours ago
