Predicting Long COVID Risk with Machine Learning: A Comparison of Four Classifiers and SHAP Explainability on a Large Population Dataset | Synapse