Source-linked AI summary

A Systematic Comparison of Search Space Complexity and Efficiency for Time-Synchronous End-to-End ASR Models

Simon Berger, Larissa Kleppel, Ralf Schlüter

arXiv:2610.31259v1cs.CL

TL;DR

Modern E2E ASR studies often use small fixed beams without external LMs, despite limited comparative evidence on search behavior and efficiency. This paper compares time-synchronous CTC and transducer search strategies across pruning and LM configurations. It finds that active hypothesis counts are usually low but can spike in difficult regions, while dynamic score pruning can preserve WER and reduce search RTF.

  • Problem

    Modern E2E ASR often uses small fixed-size beams without external LMs, while the practical role of dynamic score pruning and lexical prefix-tree search is underrepresented.

    Source: §I · p. 1
  • Method

    The paper compares time-synchronous BPE- and phoneme-based CTC and monotonic transducer search across pruning strategies and external-LM configurations.

    Source: §I · p. 1, §II · p. 3, §III · p. 3
  • Results

    Active hypothesis counts are usually low but spike to hundreds or thousands in rare difficult regions, and dynamic pruning can preserve WER while reducing search RTF.

    Source: §VII · p. 6
  • Takeaways & Limitations

    Dynamic score-based pruning and external-LM combination remain relevant for decoding modern E2E ASR models.

    Source: §VII · p. 6

    The study covers time-synchronous CTC and transducer search; label-synchronous and streaming decoding remain future work.

    Source: §VII · p. 6

Abstract

from arXiv · show

Search is a central component of Automatic Speech Recognition (ASR) systems and has been deeply investigated for classical ASR modeling based on Hidden Markov Models (HMMs). However, in work on current sequence-to-sequence ASR architectures it is often simplified to a small fixed-size beam search without external Language Model (LM). In this work, we present a comparative analysis of search space complexity and efficiency for Connectionist Temporal Classification (CTC) and neural transducer models under different pruning strategies and LM configurations. We show that these end-to-end (E2E) models work with a small search space most of the time but exhibit large temporary peaks in hypothesis count during periods of uncertainty. Score-based pruning dynamically adapts the search to model uncertainty, leading to a significantly lower Real-Time Factor (RTF). Our results highlight the limitations of search with low fixed-size beam pruning and provide practical guidelines for efficient search in E2E ASR.

I. INTRODUCTION & RELATED WORK

Modern E2E ASR often uses small fixed beams without external LMs, while dynamic score pruning and lexical prefix-tree search remain underrepresented. This paper compares search strategies for time-synchronous CTC and transducer models and analyzes accuracy, efficiency, and hypothesis counts.

I. INTRODUCTION & RELATED WORK

  • Modern neural ASR often concentrates probability mass on one output class, yet many studies use fixed beams of 1–8 without external LMs, leaving dynamic pruning underrepresented.Classical ASR search often handled thousands or tens of thousands of hypotheses per time step.Source: §I · p. 1
  • Available toolkits have gaps in dynamic pruning, lexicon or word-level processing, or transducer support, limiting the search capabilities represented across systems.Flashlight lacks transducer support and separate within-word pruning; ESPnet and k2/icefall lack dynamic score-threshold pruning for transducer search, while NeMo's approach lacks word-level processing and dynamic pruning.Source: §I · p. 1
  • The analysis is restricted to time-synchronous CTC and monotonic transducer models because label-synchronous search makes active-hypothesis and pruning statistics not directly comparable.The paper also leaves the resulting length-normalization problem out of scope.Source: §I · p. 1
  • The study compares BPE- and phoneme-based CTC and transducer models across lexicon constraints, subword- and word-level LMs, and fixed versus dynamic pruning.It analyzes search errors, hypothesis counts, WER, and RTF across datasets and search conditions.Source: §I · p. 1
  • The paper provides a lexicon-free time-synchronous beam-search algorithm with optional subword-LM scoring and intermediate pruning.It also reports tuned decoding parameters and open-source setups for reproducibility.Source: §I · p. 2

II. BACKGROUND

The paper frames time-synchronous E2E decoding as search over subword sequences, with lexicon-constrained search restricted to valid word sequences. It compares score-threshold pruning with fixed-cap pruning and describes staged scoring and recombination for CTC and transducer search.

II. BACKGROUND

  • Lexicon-free search ranges over subword sequences, while lexicon-constrained search admits only label sequences corresponding to valid words and adds an outer word-sequence search.The constrained search can integrate a word-level LM as well as a subword LM.Source: §II · p. 2
  • Lexicon-constrained tree search separately extends and recombines subword hypotheses and word ends; word ends update word-LM history and return to a tree root.Word-level LM scoring is optional.Source: §II · p. 2
  • CTC and monotonic transducer models enable frame-by-frame comparison; CTC scoring includes a scaled frame-wise prior, while transducer scoring uses one history label and zeroencoder-based ILM correction.The ILM contributes only for non-blank labels.Source: §II · pp. 2–3
  • The search algorithms accumulate local ASR and LM scores in negative-log space and recombine hypotheses with equivalent contexts.Recombination contexts include prediction-network state and subword-LM history, with tree state and word-LM history added for lexicon-constrained search.Source: §II · p. 3
  • Score pruning removes hypotheses more than Δ above the current best, whereas max-beam pruning retains a fixed maximum of B hypotheses.Pure fixed-beam search disables score pruning; the implementation can apply thresholds after individual ASR and LM score contributions.Source: §II · p. 3

III. EXPERIMENTAL SETUP

Experiments use LibriSpeech, Loquacious, and an in-house Spanish telephony corpus, with BPE and phoneme models and corpus-specific acoustic and LM setups. The reported LibriSpeech table covers WER and RTF across models and search/LM conditions.

III. EXPERIMENTAL SETUP

  • Experiments span LibriSpeech, Loquacious, and Spanish telephony, using 960h, 2500h, and around 12000h of training data, respectively.Evaluation uses dev-other and test-other for LibriSpeech, dev.all and test.all for Loquacious, and an in-house 4.5h Spanish test set.Source: §III · p. 3
  • LibriSpeech uses 185 BPE and 80 EOW-phoneme labels, both including blank; Loquacious uses BPE/EOW-phoneme vocabularies of 184/80 labels including blank, while Spanish uses 63 EOW-phoneme labels.Source: §III · p. 3
  • Models use log-mel features subsampled to 40 ms and Conformer encoders with 12 layers for LibriSpeech and Loquacious and 16 for Spanish.Transducers also use a 2-layer prediction network and a 1-layer joiner network.Source: §III · p. 3
  • Training lasts 100 epochs for LibriSpeech, 40 for Loquacious, and 60 for Spanish, with OCLR, SpecAugment, speed perturbation, dropout, and weight decay.Source: §III · p. 3
  • Word-level LM experiments use 4-gram LMs; LibriSpeech also includes BPE LSTM and BPE/word Transformer LMs, while Table I reports LibriSpeech WER and RTF across search and LM conditions.The LibriSpeech LSTM has 55M parameters; the Transformer LMs have around 300M and 430M parameters at BPE and word level, respectively.Source: §III · p. 3, Table I · p. 3

IV. SEARCH STRATEGIES

External language models improve recognition over standalone ASR, with the word-level Transformer LM giving the best WER. The section compares model and search configurations while reporting search-only runtime separately from encoder runtime.

IV. SEARCH STRATEGIES

  • Search RTF measures search computation, including hypothesis extension, pruning, and bookkeeping, but excludes encoder forwarding.Neural components ran on an A10 GPU, while search logic and the 4-gram LM ran on CPU.Source: §IV · p. 3
  • Table II reports WER and RTF on Loquacious across models, search conditions, and LM combinations.The accompanying prose identifies it as core search-condition results without neural LMs on a public heterogeneous dataset.Source: Table II · p. 4, §IV · p. 4
  • External-LM combinations outperform standalone ASR by a good margin, and the word-level Transformer LM gives the best WER.The best setup reaches 3.8/4.2% WER; the subword-level Transformer LM is costly without improving WER over the word-level Transformer LM.Source: §IV · p. 4
  • The transducer outperforms CTC, especially without a lexicon or LM, and remains 0.3% to 0.7% absolute WER better in other conditions.Its search is slower without an LM or with only a 4-gram LM, but the speed gap shrinks with a neural LM.Source: §IV · p. 4

V. SEARCH SPACE COMPLEXITY

Search spaces are usually small but can expand sharply in difficult or uncertain regions. The results show that fixed small beams can miss those peaks, while dynamic pruning adjusts to uncertainty and LM contributions.

V. SEARCH SPACE COMPLEXITY

  • Pruning parameters are tuned by first using a large maximum beam to set score thresholds, then lowering the beam until performance degrades.Source: §V · p. 4
  • The search space stays small for most steps but can show a large temporary peak; small fixed beams are insufficient when uncertainty or LM contributions are higher.Figure 1 illustrates a peak between steps 300 and 400; dynamic pruning adapts to uncertainty and keeps median hypothesis counts comparatively low.Source: §V · pp. 4–5, Table IV · p. 4, Figure 1 · p. 5
  • On Loquacious, median hypothesis counts remain small while p99 reflects rare high-complexity regions.Counts are lower overall than in the other reported analysis, which the authors explain by the 4-gram LM’s short history and lower LM scale.Source: §V · p. 4, Table V · p. 4
  • Figure 2 frames fixed versus dynamic pruning as an RTF–WER comparison for a BPE transducer with a subword-level LSTM LM.Source: Figure 2 · p. 5
  • On Spanish telephony, even the median requires several hundred hypotheses, while p90 and p99 reach the thousands for optimal performance.A hypothesis count in the tens is not enough on this higher-WER task.Source: Table VI · p. 4, §V · p. 5

VI. SEARCH EFFICIENCY

With external LMs, dynamic score-threshold pruning preserves WER while substantially reducing search cost; without an external LM, greedy search leaves no dynamic-pruning advantage.

VI. SEARCH EFFICIENCY

  • For each maximum beam size, the dynamic variant adds score-threshold pruning to the fixed max-beam baseline using the tightest thresholds that do not degrade WER.Source: §VI · p. 5
  • On LibriSpeech BPE transducer and Spanish phoneme CTC searches, score-based pruning matches WER with faster decoding, especially at larger beams.Dynamic-pruned RTF rises only marginally as fixed-beam search becomes more expensive.Source: §VI · p. 5, Figure 3 · p. 5, Figure 4 · p. 5
  • Without an external LM, greedy search already gives optimal results, so dynamic pruning provides no advantage.Source: §VI · p. 5
  • Around an order of magnitude: dynamic pruning often reduces average hypothesis count and search RTF while preserving WER in external-LM experiments.The summary covers different ASR models and external LMs across three datasets.Source: §VI · pp. 5–6, Table IX · p. 6
  • The largest relative RTF reductions occur with CTC and 4-gram LMs, whose search costs are dominated by hypothesis expansion and CPU bookkeeping.Transducer prediction and joiner networks and neural LMs use batched GPU computation, so their costs do not scale linearly with the active set.Source: §VI · p. 6

VII. CONCLUSIONS

Time-synchronous CTC and monotonic transducer searches usually have few active hypotheses, but rare difficult regions can produce large spikes. Dynamic pruning can preserve WER while reducing search RTF, particularly with external LMs.

VII. CONCLUSIONS

  • Most search steps use few active hypotheses, but rare difficult regions can spike to hundreds or thousands.Source: §VII · p. 6
  • The search-space pattern was verified on LibriSpeech, the heterogeneous public Loquacious task, and a more difficult in-house telephony dataset.Source: §VII · p. 6
  • Dynamic pruning can preserve WER while reducing search RTF by adapting the active hypothesis set to local uncertainty, especially when external LMs make low fixed-size beams insufficient.Source: §VII · p. 6
  • The study provides tuned decoding parameters and open-source implementations for reproducibility.Source: §VII · p. 6
  • The analysis is limited to time-synchronous CTC and transducer search; label-synchronous and streaming decoding remain future work because they require different analysis.Source: §VII · p. 6
  • The study concludes that external-LM integration and dynamic pruning remain underused in modern E2E ASR applications.Source: §VII · p. 6
Loading 2610.31259v1…