Formal verification of software is a bit of a niche activity: it is only...
With the recent wave of progress in artificial intelligence (AI) has com...
We present a meta-learning approach for adaptive text-to-speech (TTS) wi...
This work presents a scalable solution to open-vocabulary visual speech
...