The surface code is one of the leading ideas for quantum memory. This repository contains the author's final project on the surface code for CS269Q, a class on quantum computing at Stanford University ...

There is a difference in semantics between code coverage generated from a simulator engine and code coverage generated from a formal engine. This paper seeks to raise the awareness of verification ...

This project is configured on compute-restrained hardware, specifically a single GPU. The model training results may vary significantly depending on the system configuration, including but not limited ...

Abstract: Measurement-integrated simulation (MI-simulation) is a numerical simulation in which experimental results are fed back to the simulation. The calculated values become closer to the ...

With increasing model complexity, models are typically re-used and evolved rather than starting from scratch. There is also a growing challenge in ensuring that these models can seamlessly work across ...