Albert Jiang

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Distributed Search

Theorem Proving

Automated Deduction

Top Venues

Publications

Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Baker Grosse
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving. ICLR (2021)
Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger B. Grosse
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving. CoRR (2020)
Lisa L. Lacher, Albert Jiang, Yu Zhang, Mark C. Lewis
Including Coding Questions in Video Quizzes for a Flipped CS1. SIGCSE (2018)
Sven Koenig, Sanmay Das, Rosemary D. Paradis, Eric Eaton, Yolanda Gil, Katherine Guo, Bojun Huang, Albert Jiang, Benjamin Kuipers, Nicholas Mattei, Amy McGovern, Larry R. Medsker, Todd W. Neller, Plamen Petrov, Michael Rovatsos, David G. Stork
ACM SIGAI activity report. AI Matters 3 (3) (2017)