research
∙
06/07/2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
We present CAISAR, an open-source platform under active development for ...
share
research
∙
03/12/2020
A Deductive Verification Framework for Circuit-building Quantum Programs
While recent progress in quantum hardware open the door for significant ...
research
∙
04/25/2019
