Albert Qiaochu Jiang

Identifiers

• name variant Albert Qiaochu Jiang 0.60 · backfill

Papers (2)

1. Magnushammer: A Transformer-Based Approach to Premise Selection cs.LG · 2023 · author #5
2. INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving cs.AI · 2020 · author #2

Mentions

• 2303.04488 #5 · arxiv_oai · confidence 0.70 Albert Qiaochu Jiang
• 2007.02924 #2 · arxiv_oai · confidence 0.70 Albert Qiaochu Jiang

Frequent Coauthors

• Yuhuai Wu 2 shared papers
• Bartosz Piotrowski 1 shared papers
• Christian Szegedy 1 shared papers
• Jimmy Ba 1 shared papers
• Jin Peng Zhou 1 shared papers
• {\L}ukasz Kuci\'nski 1 shared papers
• Maciej Miku{\l}a 1 shared papers
• Piotr Mi{\l}o\'s 1 shared papers
• Roger Grosse 1 shared papers
• Szymon Antoniak 1 shared papers
• Szymon Tworkowski 1 shared papers