NeuralTheoremProving in Lean Using Proof Artifact Co-Training and LanguageModelshttps://arxiv.org/abs/2102.06203 by lucioperca • 5 years ago 2 0 5 years agoARarxiv.org