Comparison of ischemic stroke diagnosis models based on machine learning