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

Specification-Guided Autoformalization with Source-Grounded Blueprints.

Published in VeriCodeGen@Neurips 2026, 2026

Categories: conferences

Share on

Twitter Facebook LinkedIn

Follow:
GitHub

© 2026 Long Doan, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-10-18