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.

and

Nov 01, 2022

∙ Paid

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.