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?)