Registered user since Sat 21 Jun 2025
Name:Linhan Li
Country:United States
Affiliation:George Mason University
Personal website: http://lli-debu.top/
Research interests:Software Engineering, Formal Methods, Input generation, Neural Network Verification
Contributions
Using general profile