230 citations · 381 across the 18 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
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…
cs.LO2019★ 24 cited
Learning to Prove Theorems via Interacting with Proof Assistants
Kaiyu Yang, Jia Deng
Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning,…