research
∙
10/30/2020
Towards making formal methods normal: meeting developers where they are
Formal verification of software is a bit of a niche activity: it is only...
share
research
∙
04/15/2020
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
With the recent wave of progress in artificial intelligence (AI) has com...
research
∙
09/27/2018
Sample Efficient Adaptive Text-to-Speech
We present a meta-learning approach for adaptive text-to-speech (TTS) wi...
research
∙
07/13/2018