VietMed: A Dataset and Benchmark for Automatic Speech Recognition of Vietnamese in the Medical Domain