Leyan Pan

Third-year Ph.D. student in Computer Science at Georgia Tech, advised by Prof. Wenke Lee. Research interests: LLM reasoning, AI for Math, Autoformalization, AI for Security