# Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification

> Research article (IEEE Access, 2019) · cited 32× · AI/ML

**Wikidata**: [openalex:W2998454305](https://www.wikidata.org/wiki/openalex:W2998454305)  
**Source**: https://4ort.xyz/entity/prostate-gleason-score-detection-and-cancer-treatment-through-real-time-formal-verification