Learning to prove theorems by learning to generate theorems

Mingzhe Wang, Jia Deng

Research output: Contribution to journalConference articlepeer-review

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