ICFP/SPLASH 2025 (series) / Wenxi Wang
Registered user since Fri 29 Mar 2019
Name:Wenxi Wang
Country:United States
Affiliation:University of Virgina
Personal website: https://wenxiwang.github.io/
X (Twitter): https://x.com/WenxiWang4
Research interests:Formal Method, Automated Logical Reasoning, Software Verification, Machine Learning
Contributions
Using general profile