Accurate quantum-centric simulations of intermolecular interactionsDanil KaliakinAkhil Shajanet al.2025Communications Physics
QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC EmbeddingChao LuNavnil Choudhuryet al.2024IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems