Leyan Pan

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

Graduate Teaching Assistant for CS 4510 Automata and Complexity

Undergraduate course, Georgia Institute of Technology, School of Computer Science, 2022

Answers in-class questions, hosts office hours, and grade exams and homework for ~100 student for CS 4510 Automata and Complexity (Spring 2022, Fall 2022, Spring 2023) instructed by Prof. Zvi Galil at Georgia Tech.