news
| Aug 10, 2024 | Our paper - Proof Automation with Large Language Models is accepted by ASE 2024! |
|---|---|
| Mar 20, 2024 | Our paper - Automated Deep Learning Optimization via DSL-based Source Code Transformation is accepted by ISSTA 2024! |
| Aug 10, 2023 | I join Purdue CS as an Ph.D. student. |