4 projects
ttsproof
Automated failure-mode QA for text-to-speech systems: structural audio checks, equivalence-aware WER/CER, and ASR-uncertainty quarantine.
trainproof
A deterministic linter for ML training runs: dataset, tokenizer, and epoch logs.
spkproof
Deterministic checks for speaker-verification studies: F0-tracking contamination, spectral descriptors that only follow pitch, trial-list design faults, and an encoder panel with paired speaker-bootstrap intervals.
notchecked
Coverage accounting for validators: what was checked, what could not be checked, and what was never in scope.
