Cinderella's mice don't have individual names in the Disney movie. They are simply referred to as "the mice".
However, in some other adaptations, the mice might have individual names. For instance, in the Broadway musical "Into the Woods," the mice are named Gus and Jaq.