Ryan Prenger

2 papers on this site (2014–2023)

LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 Deep Speech: Scaling up end-to-end speech recognitionAwni Hannun, Carl Case, Jared Casper, et al.2014

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai