Learning to prove theorems by learning to generate theorems

Mingzhe Wang, Jia Deng

Research output: Contribution to journal › Conference article › peer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'Learning to prove theorems by learning to generate theorems'. Together they form a unique fingerprint.

Engineering & Materials Science