Preview Mode Links will not work in preview mode

Oct 7, 2021

Prof Clark Barrett of the Stanford Center for AI Safety talks SMT, formal methods, Gödel and God with Passer and Mason.

Check out the exciting work at Stanford:

That word vector thing:

(Yes, I am pointing you to a tweet - follow it to the arXiv paper, it's the CURRENTYEAR)

Follow BPO on Twitter: @PLanghaus

My audio was a disaster on this one and I will do better. - PL