Paper accepted at CAV'22

Published: Jun 22, 2022 by

Our paper Verifying Fairness in Quantum Machine Learning has been accepted at CAV’22, the 34th International Conference on Computer Aided Verification. This is the only one accepted work in the field of quantum computing at CAV’22