Efficient Mid-Air Text Input Correction in Virtual Reality | AMiner