Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA
Presenter
February 13, 2023
Event: Machine Assisted Proofs
Abstract
Recorded 13 February 2023. Adam Topaz of the University of Alberta presents "The Liquid Tensor Experiment" at IPAM's Machine Assisted Proofs Workshop.
Learn more online at: http://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/