New York University; Allen Institute for Artiﬁcial Intelligence; Paul G. Allen School of Computer Science & Engineering, University of Washington
NLP;mathematics;retrieval;generation;reasoning;theorem proving
NaturalProofs: Mathematical Theorem Proving in Natural Language