🧑🔬 Roger Grosse — papers of 2020 — 1 paper, the most cited first1 paper · all years of Roger GrosseINT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/roger-grosse/year/2020/