| A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level I Drori, S Zhang, R Shuttleworth, L Tang, A Lu, E Ke, K Liu, L Chen, S Tran, ... Proceedings of the National Academy of Sciences 119 (32), e2123433119, 2022 | 117 | 2022 |
| A neural network solves and generates mathematics problems by program synthesis: Calculus, differential equations, linear algebra, and more I Drori, S Tran, R Wang, N Cheng, K Liu, L Tang, E Ke, N Singh, TL Patti, ... arXiv preprint arXiv:2112.15594, 2021 | 16 | 2021 |
| A dataset for learning university stem courses at scale and generating questions at a human level I Drori, S Zhang, Z Chin, R Shuttleworth, A Lu, L Chen, B Birbo, M He, ... Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 15921 …, 2023 | 1 | 2023 |
| Top 3 in FG 2021 families in the wild kinship verification challenge J Huang, M Strome, I Jenkins, P Williams, B Feng, Y Wang, R Wang, ... Conference on Automatic Face and Gesture Recognition (FG), 2021 | 1 | 2021 |
| Solving the Families In the Wild Kinship Verification Challenge by Program Synthesis J Huang, MB Strome, I Jenkins, P Williams, B Feng, Y Wang, R Wang, ... 2021 16th IEEE International Conference on Automatic Face and Gesture …, 2021 | | 2021 |
| Learning to learn STEM courses I Drori, S Tran, L Tang, N Cheng, R Wang, E Ke, I Jenkins, P Williams, ... | | |
