Page not in menu
This is a page not in the menu. You can use markdown in this page.
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
- Atlanta, GA
- Google Scholar
- GitHub