dsp
Datasets
All datasets matching “dsp”NuminaMath-LEAN-satp-buffer-dspaug-Temp
NuminaMath-LEAN-satp-buffer-dspaug-Temp
Staging buffer for the DSP+ paper-augmentation sweep (2026-04-29). This
is a -Temp variant — lemma_names / lemma_scores are empty and
theorem_uuid is the join key (matches NuminaMath-LEAN-satp.uuid).
Retrieval population + rename-to-uuid happens at the
promote-to-canonical merge step, mirroring the precedent set by
NuminaMath-LEAN-satp-buffer-planf-v1-Temp.
Why this exists
Schema audit on NuminaMath-LEAN-satp-buffer (40,965… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp.sdg-single
Dataset Card for "sdg-single"
More Information needed
ds-python-upopenlivetranslate-dsp2019-rate-pilot-zh
NTU DSP2019 natural-rate pilot
Three complete classroom recordings from Lin-shan Lee's 2019 Introduction to Digital Speech Processing. Source-rate screening for noncommercial academic simultaneous speech translation research. These are later course videos, not NDLC.
audio/*.mp3: complete mono 32 kHz, 40 kbps ASR copies, original timing preserved. Obtain original AAC or losslessly decoded WAVs from the source URLs in manifest.json for final evaluation.
asr/*.json: automatic… See the full description on the dataset page: https://huggingface.co/datasets/gavinlaw/openlivetranslate-dsp2019-rate-pilot-zh.ccai-nlp-tutorial-1Qwen3.8-DSpark-PerfectBlend-10M-Stride16-H32-Features