4.8k citations · 4.8k across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CV2020
A Unified Framework of Surrogate Loss by Refactoring and Interpolation
Lanlan Liu, Mingzhe Wang, Jia Deng
We introduce UniLoss, a unified framework to generate surrogate losses for training deep networks with gradient descent, reducing the amount of manual design of task-specific surro…
cs.LO2020★ 7 cited
Learning to Prove Theorems by Learning to Generate Theorems
Mingzhe Wang, Jia Deng
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and pro…