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.
Welcome to the third mini-update from the Gradient! This is our exclusive newsletter edition specifically for paying subscribers, and is our way to show you our appreciation for your support.
News Hig…
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.