The Haloscope at Yale Sensitive to Axion Cold dark matter (HAYSTAC) is the first dark matter detector to use quantum squeezed states to enhance the search for axions. The squeezed state receiver consists of two Josephson parametric amplifiers operating in a phase-sensitive mode. In this mode, the noise is squeezed, while the axion-sensitive signal is amplified. The use of this technology brings together the fields of quantum metrology and axion dark matter in an unprecedented way. We have now taken data with noise levels below the standard quantum limit, increasing the rate at which we can scan axion parameter space by two-fold. In this talk, I will give an overview of the operations of the HAYSTAC experiment, focusing on the operation of the squeezed state receiver and the new Bayesian-based analysis framework used to exclude axions in the 4.11 - 4.18 GHz range.
