Home
Publications
Talks
CV

Long Doan

Long Doan

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

Fairfax, VA, USA
George Mason University
Email
Google Scholar
Github
LinkedIn

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants

Date: October 31, 2024

Share on

Twitter Facebook LinkedIn

Follow:
GitHub

© 2025 Long Doan, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2025-04-03