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 | 122 | 2022 |
PDDL Planning with Pretrained Large Language Models T Silver, V Hariprasad, RS Shuttleworth, N Kumar, T Lozano-Pérez, ... NeurIPS 2022 Foundation Models for Decision Making Workshop, 2022 | 52 | 2022 |