We gratefully acknowledge support from
the Simons Foundation and member institutions.

Zafarali Ahmed and Laurent Orseau are qualified to endorse.

Learning to Prove from Synthetic Theorems

Eser Aygün: Is registered as an author of this paper.
Not currently an endorser. (why?)
Zafarali Ahmed: Is registered as an author of this paper.
Can endorse for cs.LG. (why?)
Ankit Anand: Is registered as an author of this paper.
Not currently an endorser. (why?)
Laurent Orseau: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG. (why?)

Vlad Firoiu, Xavier Glorot, Doina Precup and Shibl Mourad are not registered as owners of this paper. (why?)