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
This is an item in your portfolio. It can be have images or nice text. If you name the file .md, it will be parsed as markdown. If you name the file .html, it will be parsed as HTML.
