Jiang, Albert

4 publications

NeurIPSW 2023 Llemma: An Open Language Model for Mathematics Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Jiang, Jia Deng, Stella Biderman, Sean Welleck

NeurIPSW 2023 Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Bartosz Piotrowski, Albert Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

ICLR 2021 INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Baker Grosse

NeurIPS 2014 Diverse Randomized Agents Vote to Win Albert Jiang, Leandro Soriano Marcolino, Ariel D Procaccia, Tuomas Sandholm, Nisarg Shah, Milind Tambe