The main characters are Rudolph, Santa Claus, the Abominable Snowman, Yukon Cornelius, and the other reindeer.
The story does mention the elves who work in Santa's workshop, but they're not miners.
What is the name of miner in Rudolph?
There isn't a miner named in the Rudolph the Red-Nosed Reindeer story.