Combining quantum mechanics and machine-learning calculations for anharmonic corrections to vibrational frequencies.