Machine learning methods accurately predict host specificity of coronaviruses based on spike sequences alone