14 verified stabilizer codes
Emerging1papers using it
2025first seen
The '14 verified stabilizer codes' dataset contains a collection of stabilizer codes that have been formally verified for their correctness and is used to evaluate the efficiency and effectiveness of quantum error correcting program verification methods.