No, not really. It was never really as large, and most of their output was in probabilistic programming (e.g. Pyro) and work that was relevant to self-driving cars (point cloud compression, etc.). But they shut down Uber AI in the layoffs last year.