Quantum Computing, Formal Methods; CIS PhD Candidate @upenn
-
University of Pennyslvania
- Philadelphia, PA
-
02:52
(UTC -04:00) - acasta-yhliu.github.io
- https://orcid.org/0009-0005-2822-0448
Pinned Loading
-
vftqc/vftqecc
vftqc/vftqecc PublicVerifying Fault Tolerance of Quantum Error Correction Codes
Julia 5
-
fermihedral
fermihedral PublicOn the Optimal Compilation for Fermion-to-Qubit Encoding
Jupyter Notebook 3
-
hattmapper
hattmapper PublicHATT: Hamiltonian Aware Ternary Tree for Optimizing Fermion-to-Qubit Mapping
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



