🧑🔬 Jason Rute — papers of 2021 — 1 paper, the most cited first1 paper · all years of Jason RuteProof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jason-rute/year/2021/