TensorFlow: An open-source machine learning platform and library that supports data preparation, model building and deployment, data automation, performance monitoring, and other key facets of MLOps.

In February, Dr. Avigad attended a workshop about “machine-assisted proofs” at the Institute for Pure and Applied Mathematics, on the campus of the University of California, Los Angeles.