Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Learning to Prove Theorems by Learning to Generate Theorems   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 proofs available for supervised learning. To address
this limitation, we propose to learn a neural generator that automatically
synthesizes theorems and proofs for the purpose of training a theorem prover.
Experiments on real-world tasks demonstrate that synthetic data from our
approach improves the theorem prover and advances the state of the art of
automated theorem proving in Metamath. Code is available at
https://github.com/princeton-vl/MetaGen.

4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th