Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Long Doan
conf.researchr.org general profile
ICSE 2025 profile
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
Share
x
Thu 20 Mar 09:49
