Long Doan -

Not registered as user

Name:Long Doan

Affiliation:George Mason University

Contributions

2025

ICSE

Author of AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants within the New Ideas and Emerging Results (NIER)-track