Prenger, Ryan

“Waveglow: a flow-based generative network for speech synthesis,”

Prenger, R., Valle, R., & Catanzaro, B. (2019) · ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

Speech Recognition and SynthesisSpeech and Audio Processing

Cited by 1,004

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Yang, K., Swope, A., Gu, A., Chalamala, R., Song, P., Yu, S., Godil, S., Prenger, R. J., & Anandkumar, A. (2023) · Advances in Neural Information Processing Systems 36

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 97