NeuralTheoremProving in Lean Using Proof Artifact Co-Training and LanguageModelsarxiv.org2 points·lucioperca··0 commentsOpen articleSaveView on HN