Long Doan

Long Doan

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

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants

Published in ICSE 2025 - New Ideas and Emerging Results track, 2025