Zoom Logo

HiPerGator Symposium - Shared screen with speaker view
Alexander Roman
04:06:56
How comprehensible are the proofs that are produced?
Brian Stucky
04:08:32
Great to see a symbolic AI talk here, John -- thanks, and very interesting!
Ryan Weaver
04:10:25
really quite beautiful method to bridge between disciplines.
Matt Gitzendanner
04:17:42
https://www.rc.ufl.edu/2020-hipergator-symposium/
Tracy Gale
04:17:47
Really excellent presentation, Kavindri -- thank you for sharing