The Zero Resource Speech Challenge 2020: Discovering discrete subword and word units
Ewan Dunbar, Julien Karadayi, Mathieu Bernard, Xuan-Nga Cao, Robin Algayres, Lucas Ondel, Laurent Besacier, Sakriani Sakti, Emmanuel Dupoux
Introduction
Current speech technology depends heavily on the availability of textual resources. On the other hand, humans learn the sounds and vocabulary of their first language long before they learn to read or write, discovering some kind of linguistic units or representations in their language (typically thought to be phoneme- or word-like), and the equivalent of an acoustic model, a language model, and a speech synthesizer. That humans succeed without textual resources suggests that there may be another approach. Developing technology to learn useful speech representations in an unsupervised way would be useful for the thousands of so-called low-resource languages, which lack the textual resources and/or expertise required to build traditional speech processing systems.
The Zero Resource Speech Challenge seriesDetailed results of all metrics, and audio samples for unit discovery/synthesis systems, are provided on the leaderboard at http://www.zerospeech.com/. aims to push the envelope in unsupervised speech modelling, by taking the radical stance of trying to learn the full speech processing stack without any textual resources. Here, we reopen two previous benchmarks with a focus on discovering discrete representations from raw audio at two linguistic levels. The first focuses on the phonological or sub-word level. The goal is to learn discrete (low bitrate) speech units, which encode meaningful linguistic invariants, and which are useful for doing speech synthesis. This is a reopening of the 2019 “TTS without T” ZeroSpeech benchmark (track 1b in Figure 1). The second focuses on the word level. The goal is to discover word-like units for the purpose of segmenting continuous speech. This is a reopening of the 2017 “spoken term discovery” ZeroSpeech Benchmark (track 2 in Figure 1). As before, we rely exclusively on freely accessible software and data sets.
Discrete units, such as words and phonemes, form the basis of every modern speech technology system at some level. One useful feature of discrete representations is that they remove linguistically irrelevant information from the signal, and represent continuous speech in a highly compact format. For example, perform unsupervised representation learning, and show that, up to a certain point, discrete representations are more useful than continuous ones as the input for training a phone recognizer. Here, we ask participants to discover their own discrete units and analyze them in terms of how well they capture relevant linguistic contrasts, as indicated by the gold phoneme- and word-level transcriptions.
Data sets, metrics and baselines
Task. The problem of learning speech units useful for doing speech synthesis can be seen in terms of an encoder–decoder architecture. The encoder takes as input raw audio and turns it into a sequence of speaker-invariant discrete units (“pseudo-text”). The decoder takes these units as input and generates a waveform corresponding to the same linguistic content uttered in another voice. Requiring synthesis is in a new voice allows us to exclude trivial solutions where the audio is returned unchanged. We measure the synthesis quality of the output, as well as the unit quality and the bitrate of the pseudo-text.
Data sets. We use the same setting and datasets as in , with two languages, the development language (English) and the surprise language (Indonesian). Participants are instructed to treat these languages as low-resource and refrain from using other labelled data. Metrics are provided only for the development language, and results for the surprise language must be submitted through the challenge website to be evaluated (maximum two submissions per research group). Three unlabelled data sets are provided for each language.The Train Voice data set contains either one talker (surprise) or two (development), and is intended for building an acoustic model of the target voice for speech synthesis (between 1h30 and 2h40 of data per voice). The Train Unit Discovery data set contains read speech from multiple speakers, with around ten minutes of speech from each speaker, for a total of 15h in each language. These are intended for the discovery of speaker-independent acoustic units. The Test data set contains new utterances from unseen speakers.
Synthesis quality is measured using human evaluation, taking three measures. To evaluate the comprehensibility of the synthesis, the evaluators were asked to orthographically transcribe the synthesized sentence. Each transcription was compared with the gold transcription using the Levenshtein distance, yielding a character error rate (CER). The overall naturalness of the synthesis was assessed on a 1 to 5 scale, yielding a mean opinion score (MOS), where 5 is the most natural. Finally, the similarity of the voice to the target voice was assessed using a 1 to 5 scale, with each synthesized sentence compared to a reference sentence uttered by the target voice, with 5 being the most similar to the target. Each evaluator performed the evaluation tasks in the same order (comprehensibility, naturalness, similarity), with the overall evaluation lasting about one hour. We recruited evaluators for English using the Amazon Mechanical Turk platform and, for Indonesian, through universities and research institutes in Indonesia. All were paid the equivalent of 10 USD. Catch trials (novel natural recordings by the target voice) ensured that participants were on task: only data from participants with 0.80 CER on catch trials was retained (English: 35; Indonesian: 68).
Embedding bitrate and quality. Participants submit encodings for each test file. The submitted encodings are sequences of vectors. These vectors are assumed to be quantized. We calculate the bitrate of the encoding by, first, constructing a dictionary of all distinct vectors over the entire test set. The test set is seen as a sequence of symbols. The bitrate is calculated as , where is the relative frequency of symbol in , and the total duration of in seconds.The unit quality is evaluated with the ABX phone discriminability score, as in previous Zero Resource challenges . The ABX discriminability, for example, between [aba] and [apa], is defined as the probability that the representations of and are more similar than representations of and , over all triplets of tokens such that and are tokens of [aba], and a token of [apa] (or vice versa), and such that is uttered by a different speaker than and . The global ABX phone discriminability score aggregates over the entire set of minimal triphone pairs such as [aba]–[apa] to be found in the test set. The choice of the appropriate distance measure is up to the researcher. As in previous challenges, we provide a default distance, the average frame-wise angle (arc cosine of the normalized dot product) between the embeddings of the tokens along a DTW-realigned path, and also make available an equivalent distance making use of frame-wise symmetrised KL-divergences, rather than angles, as well as a Levenshtein (edit) distance measure. We cite ABX scores as error rates (0% for the gold transcription, 50% being chance). Each of the items compared in the ABX task is a triphone ([izi]-[idi], and so on), extracted from the test corpus. Each triphone item is a short chunk of extracted audio, to be decoded by the systems.This differs from previous challenges. In previous challenges, longer audio files were provided for decoding, from which the representations of triphones were extracted after the fact using time stamps. In the 2019/2020 edition, triphones are pre-extracted, to allow for systems without fixed frame rates.
Toplines and baselines. A baseline system is provided, consisting of a pipeline with a nonparametric Bayesian acoustic unit discovery system , and a parametric speech synthesizer based on Merlin . As linguistic features, we use contextual information (leading and preceding phones, number of preceding and following phones in current sentence), but no features related to prosody, articulatory features (vowel, nasal, and so on), or part-of-speech (noun, verb, adjective, and so on). The baseline system is made available in a container. A supervised topline system is also provided, consisting of a phone recognizer trained using Kaldi on the original transcriptions. The acoustic model is a tristate triphone model with 15000 Gaussian mixtures. The language model is a trigram phone-level language model.A word-level language model gives better performance, but we use a phone-level language model in the interest of giving a fair comparison with the subword unit discovery systems asked for in the challenge. Output is piped to the TTS system, which is also trained on the gold labels.
2 Spoken term discovery & segmentation
Task. The goal of spoken term discovery is to find words in the speech stream—just as the infant learns the words of its language by listening. The input is a series of speech features. The output is a set of boundaries delimiting the start and end of proposed word tokens discovered in the speech, and category labels indicating proposed word types. These boundaries may, but need not, constitute an exhaustive parse of the speech. The evaluation we apply is a set of scores measuring different aspects of the alignment with the words in the gold-standard transcription. As is customary in the field of word segmentation, we do not provide a separate test set for this track; we rely on the surprise languages to assess possible hyperparameter overfitting. Two submissions per research group are allowed.
Data sets. The development data and surprise data are the same as in (see ). The development data consists of corpora from three languages (English, French and Mandarin). Each corpus comes with software that performs the evaluation. Challenge participants are encouraged to use these resources to tune their hyperparameters using a cross-validation approach to maximize generalizability. The participants then must submit their systems and their output on all the data sets for independent evaluation (run automatically upon submission). The surprise data consists of corpora from two additional languages (German and Wolof), which are provided with no additional resources.
The amount of data in the training part of the development data sets varies from 2.5 to 45 hours, to ensure that systems can work both with limited data and with larger data sets. The statistics of the two surprise languages fall between these two extremes. The distribution of speakers in the training sets is shaped to reflect what is typically found in natural language acquisition settings: there is a “family”—a small number of speakers (between four and ten) who make up a large proportion of the total speech—and a set of “outsiders”—a larger number of speakers that each appear in smaller proportions (ten minutes each). The test sets consist of many short files, are organized into subsets of differing length (1s, 10s and 120s).
The English and French corpora were taken from LibriVox audio bookshttp://librivox.org/ and phone force-aligned using Kaldi . The Mandarin corpus is described in , force-aligned using Kaldi. The German corpus was taken from LibriVox and force-aligned using Kaldi as well. The Wolof corpus is described in .
Evaluation metrics. “Spoken term discovery” is a complex task with a number of sub-goals, which can be evaluated separately. The first sub-goal is to do good matching: deciding whether any two given speech fragments are instances of the same sequence of phoneme, and attempting to find as many matches as possible. The quality of matches is evaluated based on how similar fragments matched by the system are—we use the average normalized edit distance (NED) between the gold phoneme sequences, over all pairs matched by the system—the quantity of matches can be evaluated by measuring the proportion of the corpus covered by matched pairs (coverage).
The second sub-goal is to construct a lexicon. This amounts to clustering the discovered matched pairs. The intrinsic quality of the lexicon is evaluated based on how consistent the items clustered together are with regard to the sequences of gold phonemes they correspond to. The Grouping scores (precision, recall and F-score) evaluate the purity and inverse fragmentation of the clusters in a pairwise fashion (see for a formal definition). The extrinsic quality can be measured with respect to how well the clusters match the gold-standard lexicon of word types. Type scores (precision, recall and F-score) measure the correspondence between the discovered clusters and the gold lexicon. Type precision is the probability that discovered types belong to the gold set of types (real words), type recall is the probability that gold types are discovered. We restrict both sets to words between three and twenty phones long.
The third sub-goal is to do accurate word segmentation. The Token scores (precision, recall and F-scores) evaluate the quality of the discovered fragment tokens compared to the gold tokens, and the Boundary scores (precision, recall and F-scores) the quality of the discovered boundaries.
By setting out three different types of criteria, the intention is to be open to various types of “spoken term discovery” systems, all of which in some sense “find words.” The result is that we do three (non-independent) types of evaluations. All of these evaluations are done at the level of the phonemes: using the aligned phoneme transcription, we convert any discovered fragment of speech into its transcribed string. If the left or right edge of the fragment contains part of a phoneme, that phoneme is included in the transcription if it corresponds to more than 30ms or more than 50% of its duration.
Baselines and toplines. The baseline was computed using , which does pair-matching using locally sensitive hashing applied to PLP features and then groups pairs using graph clustering. The parameters stayed the same across all languages, except that the dynamic time warping threshhold was increased for Mandarin (to 0.90, rather than 0.88), in order to obtain a NED value similar to that of other languages. The topline system was an exhaustive-parsing word segmentation model based on the textual transcriptions (a unigram grammar trained in the adaptor grammar framework: ).
Models and selected results
Sixteen systems from nine teams were submitted, summarized in Table 1. Two systems, AT-1 and BG, are excluded from analysis of the synthesis evaluation due to declared issues with the submissions. Relatively few systems were submitted in the “low bitrate” range (near the bitrate of the annotation). Nevertheless, the systems submitted this year, which have shifted towards higher bitrates and end-to-end systems mostly based on discrete autoencoders, have all done more with less. Figure 2a shows (for the surprise language) the improvements in embeddings with respect to the previous year: the edge of the grey zone shows the empirical tradeoff previously observed between unit quality and bitrate. Many of this year’s systems improve reach lower ABX error rates at a given bitrate. Figure 2b shows that improvements have also been made in decoding, with overall more comprehensible synthesis, regardless of unit quality (the 2019 systems are represented by the dotted line of best fit, while the solid line is fit through the current submissions). And, while the comprehensibility measure is largely correlated with the overall synthesis naturalness evaluations (MOS), Figure 2c shows that certain systems are reported to sound particularly natural, beyond just their comprehensibility (notably the two MK systems). This is presumably due to a improvement in waveform generation. Figure 2d shows the combined effect of these improvements in unit quality, decoding, and waveform generation, showing major improvements on the tradeoff between synthesis quality and bitrate.
2 Spoken term discovery & segmentation
Two teams, indicated in Figure 2 as B (JHU) and R (Tampere), submitted two systems each. The edge of the grey region in Figure 2e shows the empirical tradeoff previously observed between having high quality matching (low NED) and exhaustively analysing the corpus (high coverage). Systems R1 and R2, which employ probabilistic dynamic time warping, both clearly improve on the tradeoff, with R1 privileging exhaustiveness and R2 match quality. Figure 2f shows the empirical tradeoff between high quality matching and accurate word segmentation. Systems R1 and R2 again show improvement. Systems B1 and B2, which use self-expressing autoencoders to improve frame representations before segmenting and clustering, show higher boundary F-scores, comparable to the previous state of the art for systems privileging segmentation.
Conclusion
Major advances have been made towards unsupervised unit discovery for speech synthesis, at all levels—better units, better decoding architectures, and better waveform generation. The best discrete codes, however, are still an order of magnitude more detailed than the phonemic representation. The supervised topline system demonstrates the possibility of a low bitrate code which is also of high quality. The challenge is to find such a high-quality low-bitrate phoneme-like representation in an unsupervised fashion. Nevertheless, some higher-bitrate codes may yet be useful, and good enough, to be used in language modelling. We will explore this in upcoming challenges. Regarding spoken term discovery and segmentation, progress was made in this challenging dual task, with improved clusters and improved coverage. Clustering-oriented algorithms represent the best current tradeoff, but another potential path forward is to bring segmentation-oriented systems towards better clusters.
Acknowledgements
Funded by the ANR (ANR-17-EURE-0017 FRONTCOG, ANR-10-IDEX-0001-02 PSL*, ANR-18-IDEX-0001 U de Paris, ANR-19-P3IA-0001 PRAIRIE 3IA Institute, ANR-17-CE28-0009 GEOMPHON, ANR-10-LABX-0083 EFL), CIFAR LMB, and a research gift by Facebook.