>. Talks [talks]

    These include some materials I made for many talks given, this excludes regular learning seminars.

    Build a reliable math library [lean_talk_2025]

    I gave a talk on the 6th plenary meeting of NJUPT SAST MathSIG, about Lean 4 and Mathlib.

    Cyclotomic structure on THH [kat_workshop_2026]

    This is the note of the fourth talk given in Kleine AT II workshop in Wuppertal.

    Tame homotopy type, stratified [kiel_2026]

    I gave a mini-talk (~ 5 minutes) in the conference STRATIFYING KIEL about how to stratify the logarithmic tame homotopy type, and deduce some structural results around it through the lens of higher category.