Browsing by Author Wang, Mingzhe
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Learning to Prove Theorems by Learning to Generate Theorems | Wang, Mingzhe; Deng, Jia |
| 2020 | A Unified Framework of Surrogate Loss by Refactoring and Interpolation | Liu, Lanlan; Wang, Mingzhe; Deng, Jia |