Minghai Lu -

Registered user since Sun 12 May 2024

Name:Minghai Lu

Country:United States

Affiliation:Purdue University

Contributions

2024

ASE

Author of Proof Automation with Large Language Models within the Research Papers-track

ISSTA

Author of Automated Deep Learning Optimization via DSL-Based Source Code Transformation within the Technical Papers-track