Mini Update #3: Meta's New Speech Translation System and Guiding Formal Theorem Provers
In which we cover the first speech translation system for Hokkien and Draft, Sketch, and Prove, a method for guiding formal theorem provers with informal proofs.
Keep reading with a 7-day free trial
Subscribe to The Gradient to keep reading this post and get 7 days of free access to the full post archives.