4 ms·NeuralTheoremProving in Lean Using Proof Artifact Co-Training and LanguageModels2 points by lucioperca 5y ago