Long Doan

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