The present chapter describes the prototype implementation of PROVA‑MG, presents the experimental matrix in placeholder form pending the experimental run, discusses the expected results and their limitations, situates the framework with respect to the closest prior art, lays out the publication plan, the eight‑phase validation procedure with measurable gates, and the perspectives of further work.
The framework specified in Chapter III is, at the moment of writing, instantiated in a prototype implementation whose components have been brought separately to functional readiness and whose integration is under way. The present chapter is organized in four substantive parts plus the validation plan inherited from earlier drafts. Part IV.1 describes the prototype: software stack, model registry, infrastructure. Part IV.2 lays out the experimental matrix in placeholder form, with full headers and labels so that, on each completed experiment, the corresponding cell is to be filled. Part IV.3 discusses the expected interpretation patterns, limitations beyond the existing list, and threats to validity. Part IV.4 develops the perspectives of further work, deployment, ethics, and dialect equity. The publication plan, the positioning with respect to prior art, and the eight‑phase validation procedure are then preserved in their earlier form.
The prototype is built in Python 3.11 on top of the PyTorch 2.x runtime. Data loading and tokenization go through the Hugging Face datasets and transformers libraries; foundation model inference uses transformers and, for Whisper, optionally the faster‑whisper port of CTranslate2. Training uses accelerate for distributed orchestration and peft for LoRA adapter management. Evaluation uses jiwer for WER and CER, scipy for paired bootstrap and Wilcoxon tests, and scikit‑learn for calibration (temperature scaling and isotonic regression). Experiment tracking goes through Weights & Biases with offline fallback to a local SQLite store; every run logs the pinned environment hash and the seed.
A local model registry — a versioned directory tree with a JSON index — holds, for each foundation model and each fine‑tuned variant: the weights (or a pointer to the public checkpoint), the configuration, the tokenizer, the model card, and the training manifest. Three foundation checkpoints are registered as teachers; subsequent fine‑tuned variants are tagged with the upstream commit hash of the configuration and the data manifest version on which they were trained.
Training and inference run on a small heterogeneous cluster comprising consumer‑grade and server‑grade GPUs (A100‑80GB, A40, RTX‑4090‑class), with mixed‑precision (bf16) where supported and fp16 elsewhere. Long inference passes on the Tier‑C unlabeled pool are sharded across nodes and the resulting n‑best lattices are compressed and stored on shared object storage. A reproducible Docker image, archived with its hash, packages the runtime environment.
The following tables fix the structure of the experimental matrix. Cells are marked tbd pending the corresponding experimental run; column headers and row labels are the load‑bearing content at the present stage. Significance tests reported in the manuscript will be paired bootstrap and Wilcoxon with Bonferroni correction across the family of comparisons.
| System | FLEURS-MG | CV-MG | In-domain | All-avg |
|---|---|---|---|---|
| Whisper-large-v3 (zero-shot) | tbd | tbd | tbd | tbd |
| Whisper-large-v3 (fine-tuned) | tbd | tbd | tbd | tbd |
| MMS (zero-shot) | tbd | tbd | tbd | tbd |
| MMS (fine-tuned) | tbd | tbd | tbd | tbd |
| Wav2Vec2-BERT (pre-trained) | tbd | tbd | tbd | tbd |
| Wav2Vec2-BERT (fine-tuned) | tbd | tbd | tbd | tbd |
| XLS-R-1B (fine-tuned) | tbd | tbd | tbd | tbd |
| PROVA-MG (full) | tbd | tbd | tbd | tbd |
| Configuration | FLEURS-MG | CV-MG | In-domain |
|---|---|---|---|
| PROVA-MG full | 0.00 | 0.00 | 0.00 |
| − Component 3.1 (co-inference) | tbd | tbd | tbd |
| − Component 3.2 (typological prior) | tbd | tbd | tbd |
| − Component 3.3 (constrained EM) | tbd | tbd | tbd |
| − Component 3.4 (latent decomposition) | tbd | tbd | tbd |
| − Component 3.5 (calibration) | tbd | tbd | tbd |
| Aggregation strategy | FLEURS-MG | CV-MG | In-domain |
|---|---|---|---|
| Best single teacher (oracle by dataset) | tbd | tbd | tbd |
| N-best voting (ROVER-style) | tbd | tbd | tbd |
| Posterior averaging | tbd | tbd | tbd |
| PROVA-MG routing (Component 3.1) | tbd | tbd | tbd |
| Family corpus included in P_typ | FLEURS-MG | In-domain |
|---|---|---|
| No prior (Malagasy LM only) | tbd | tbd |
| Malagasy LM + Indonesian | tbd | tbd |
| Malagasy LM + Malay | tbd | tbd |
| Malagasy LM + Cebuano | tbd | tbd |
| Malagasy LM + Tagalog | tbd | tbd |
| Malagasy LM + all four (full P_typ) | tbd | tbd |
| Constraints active | FLEURS-MG | In-domain | Collapse? |
|---|---|---|---|
| None (unconstrained pseudo-labeling) | tbd | tbd | tbd |
| C1 only (confidence floor) | tbd | tbd | tbd |
| C1 + C2 (drift bound) | tbd | tbd | tbd |
| C1 + C2 + C3 (teacher agreement) | tbd | tbd | tbd |
| C1 + C2 + C3 + C4 (full) | tbd | tbd | tbd |
| System | ECE (raw) | ECE (temp-scaled) | ECE (isotonic) | ECE (boosted) |
|---|---|---|---|---|
| Whisper-large-v3 | tbd | tbd | tbd | tbd |
| MMS | tbd | tbd | tbd | tbd |
| Wav2Vec2-BERT | tbd | tbd | tbd | tbd |
| PROVA-MG consensus | tbd | tbd | tbd | tbd |
| System | Merina | Betsimisaraka | Sakalava | Antandroy |
|---|---|---|---|---|
| Whisper-large-v3 (fine-tuned) | tbd | tbd | tbd | tbd |
| MMS (fine-tuned) | tbd | tbd | tbd | tbd |
| Wav2Vec2-BERT (fine-tuned) | tbd | tbd | tbd | tbd |
| PROVA-MG (full) | tbd | tbd | tbd | tbd |
| System | 0% FR | 1-10% FR | 10-25% FR | >25% FR |
|---|---|---|---|---|
| Whisper-large-v3 (fine-tuned) | tbd | tbd | tbd | tbd |
| PROVA-MG without c-head | tbd | tbd | tbd | tbd |
| PROVA-MG (full, with c-head) | tbd | tbd | tbd | tbd |
| System | GPU-h training | RTF inference | Peak VRAM |
|---|---|---|---|
| Whisper-large-v3 (fine-tuned) | tbd | tbd | tbd |
| Wav2Vec2-BERT (fine-tuned) | tbd | tbd | tbd |
| PROVA-MG (teacher ensemble at training) | tbd | tbd | tbd |
| PROVA-MG distilled student | tbd | tbd | tbd |
The reliability diagram, to be produced after the run of Phase 3, plots, on the horizontal axis, the binned predicted confidence (ten equal‑width bins from 0 to 1) and, on the vertical axis, the observed fraction of correct top‑1 transcripts in each bin. The diagonal corresponds to perfect calibration. Curves are reported for raw confidence, temperature‑scaled, isotonic‑regressed, and boosted‑classifier calibration, on the FLEURS‑MG development set and on a Tier‑C subset to test distribution shift.
Under the working hypotheses of the General Introduction, four interpretation patterns are anticipated. First, the gain of routing over averaging is expected to concentrate on segments of intermediate teacher agreement: where all three teachers agree, averaging and routing coincide; where teachers disagree strongly, routing should defer to human review rather than commit to a likely‑wrong consensus. Second, the typological prior is expected to act selectively on low‑frequency morphology and on rare segmental sequences, with little effect on high‑frequency lexical items already well covered by the Malagasy language model. Third, the constrained EM is expected to improve held‑out WER monotonically across iterations under the full constraint set, and to exhibit clear divergence under the constraint‑ablated runs. Fourth, the joint latent inference is expected to improve performance on under‑represented dialects (Betsimisaraka, Sakalava, Antandroy) without degradation on Merina, and to handle code‑switched segments better than a single Malagasy‑only system.
Several limitations condition the interpretation of the expected results beyond those listed in Part IV.D below.
Four threats to validity are identified at the methodological level. Construct validity: WER and CER are imperfect proxies for downstream task quality; a small qualitative evaluation on transcripts intended for accessibility and educational applications is therefore retained. Internal validity: the integration of five interacting components creates a risk of confounding between component effects; the leave‑one‑out ablation of Table 4.2 is designed precisely to bound that risk, complemented by selected leave‑two‑out runs on the components whose interaction is theoretically expected to be largest. External validity: the methodology is instantiated on Malagasy; its transfer to other low‑resource Austronesian languages (Tagalog with its own resource gradient, Cebuano, the languages of eastern Indonesia) is a future work item, not a claim of the present thesis. Conclusion validity: significance tests across the full matrix invite multiple‑comparison inflation; Bonferroni correction is applied to the family of headline comparisons.
Published numbers for Malagasy ASR are sparse and use heterogeneous test sets. Whisper‑large‑v3 zero‑shot WER on FLEURS‑MG has been reported around the high‑forties; MMS fine‑tuned on Common Voice‑MG has been reported in the low‑thirties; XLS‑R fine‑tuned on Common Voice‑MG has appeared in the high‑twenties on the same test set. The thesis targets — at or below 15% WER on read speech and at or below 25% WER on spontaneous speech — are therefore ambitious relative to the published state of the art, and their attainment, if confirmed, would constitute a substantive empirical contribution in addition to the methodological one.
Several technical extensions are envisaged beyond the scope of the present thesis. Speech‑LLM integration: a comparison and possibly an integration of the PROVA‑MG output with a speech‑LLM as a downstream rescorer. On‑device deployment: distillation of the integrated framework into a compact (sub‑100M‑parameter) student suitable for inference on mobile hardware. Streaming variant: replacement of the offline encoder by a streaming Conformer with chunked attention, enabling real‑time transcription. Cross‑lingual transfer: instantiation of the framework on another low‑resource Austronesian language to test the generality of the typological prior.
A small set of applications is identified as priority deployment targets, conditional on the attainment of the WER thresholds. Educational support tools transcribe classroom audio for review by pupils and teachers, with manual correction as a learning activity. Accessibility services produce captions for live broadcast and recorded media. Administrative transcription accelerates the conversion of public‑hearing audio into searchable text. Journalistic indexing produces searchable transcripts of interview archives. Each application requires a domain‑specific qualitative evaluation and a written consent regime appropriate to the recording setting.
Three ethical considerations are integrated into the design. Consent and licensing: every recording entering the corpus is accompanied by a verifiable consent and license document, and Tier‑D recordings are excluded from any open release. Speaker privacy: voice models pose a potential re‑identification risk; the published student model is therefore distilled from a teacher trained on a privacy‑screened subset, and a model card discloses the residual risk. Use restriction: model cards explicitly disallow surveillance applications and require the propagation of the use restriction in any derivative work.
Dialect equity is treated as an evaluation dimension rather than as a secondary concern. The stratified evaluation of Table 4.7 reports per‑dialect WER explicitly; a deployment is considered usable only when the worst‑dialect WER is within a stated factor of the best‑dialect WER. The factor is conservatively set to two for the present thesis and is intended to tighten as the corpus expands.
Each component of PROVA‑MG draws on existing literature; the contribution lies in the specific formulation of each component and in their integration. The following table summarizes the nearest prior art and the elements that are new in the present work.
| Component | Nearest prior art | Contribution of the present work |
|---|---|---|
| 3.1 Co‑inference | Ensemble distillation, DistilWhisper | Teachers treated as distinct posteriors with informative disagreement; routing rather than averaging. |
| 3.2 Typological priors | Language‑family adapters in low‑resource machine translation | Explicit Bayesian prior on phonotactics integrated into the decoding probability. |
| 3.3 Constrained EM | slimIPL, Kaizen, Noisy Student Training | Formal convergence and non‑collapse conditions in constrained variational form. |
| 3.4 Latent decomposition | Dialect adapters for Arabic and Chinese | Joint inference of dialect, register, and code‑switching within a single generative model. |
| 3.5 Calibration | Post‑hoc calibration in classification | Calibration that generalizes from a small supervised set to a larger, distributionally shifted unlabeled set. |
The integration of the five components is itself a contribution: the calibrated confidence (3.5), the agreement signal (3.1), and the constraint set (3.3) are shared across components, so that they reinforce one another rather than operating in isolation.
The methodology supports an ordered sequence of publications. Each publication isolates one component, while the doctoral manuscript provides the integrated demonstration.
| Paper | Content | Target venue |
|---|---|---|
| Paper 1 | License‑first corpus pipeline (data substrate) | SIGUL workshop |
| Paper 2 | Heterogeneous foundation‑model co‑inference (3.1) | Interspeech / ICASSP |
| Paper 3 | Typological priors for low‑resource ASR (3.2) | ACL / EMNLP |
| Paper 4 | Constrained variational EM for pseudo‑labeling (3.3) | Computer Speech and Language / IEEE‑ACM TASLP |
| Paper 5 | Joint dialect, register, and code‑switching inference (3.4 + 3.5) | Interspeech |
The validation procedure is decomposed into eight phases. Each phase terminates with a gate, a measurable result that must hold before the next phase begins. Items can be marked as they are completed; progress is persisted automatically.
A reliable measuring instrument is the precondition for every subsequent phase.
PROVA-MG consumes a gold supervised set and a large licensed unlabeled set; the pipeline produces both.
Show that routing across distinct teachers outperforms any single teacher, averaging, and voting.
Built early because both 3.1 routing and 3.3 constraints consume calibrated confidence.
Show that an Austronesian family prior constrains decoding where a Malagasy-only language model cannot.
The theoretically heaviest component. Establish convergence, non-collapse, and the contribution of each constraint.
Show that joint inference of the latent variables outperforms treating them as separate subproblems.
Show that the integrated system outperforms every subset of its components and every published baseline.
The methodology presents several limitations that condition the interpretation of its expected results. They are listed below together with their mitigations.