CVEX-XPLORPublished on 2024-05-27 15:34:00 -0700 last modified 2024-05-27 15:34:00 -0700.A Proof of Concept Demonstration of our CVEX model/frameworkGithub implementation