Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI | ScienceToStartup | ScienceToStartup