AMS construction for Floer moduli spaces

I will explain how to generalize Abouzaid-McLean-Smith's construction to Floer moduli spaces. As we need to regularize infinitely many moduli spaces, we need to make choices consistently. We also need to generalize the smoothing theory to the relative setting. This lecture is based on joint work with S. Bai (arXiv: 2209.08599).