NeuralTheoremProving in Lean Using Proof Artifact Co-Training and LanguageModels (arxiv.org) 2 points by lucioperca 5y ago ↗ HN
0 comments
[ 2.3 ms ] story [ 12.3 ms ] threadNo comments yet.