HiPerGator Symposium - Shared screen with speaker view
Who can see your viewing activity?
How comprehensible are the proofs that are produced?
Great to see a symbolic AI talk here, John -- thanks, and very interesting!
really quite beautiful method to bridge between disciplines.
Really excellent presentation, Kavindri -- thank you for sharing