Review
Open access
Jul 2026
Which Decisions Live in the Provable Layer? Formally Verified Safety Constraints for Agentic Clinical AI, with a Whole-Person Longitudinal Benchmark
This study measures that gap and releases CIV-Bench, a public benchmark of 832 clinical rule sets with safety properties across eight whole-person domains, in single-encounter and longitudinal forms, plus a computational stress tier, each with independently established ground truth.
Sanjay Basu, Parth Sheth, Bhairavi Muralidharan et al.
· Applied Informatics · 0 citations