Long Doan

Long Doan

PhD student in Computer Science at George Mason University. Interested in LLMs and formal math.

Talks and presentations


AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
George Mason University - Software Engineering Group, Fairfax, VA