Synchromesh: Reliable code generation from pre-trained language models G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani ICLR 2022, 2022 | 144 | 2022 |
Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions E Zelikman, Q Huang, G Poesia, N Goodman, N Haber Advances in Neural Information Processing Systems 36, 31466-31523, 2023 | 37* | 2023 |
Solving math word problems by combining language models with symbolic solvers J He-Yueya, G Poesia, RE Wang, ND Goodman arXiv preprint arXiv:2304.09102, 2023 | 36 | 2023 |
Hypothesis search: Inductive reasoning with language models R Wang, E Zelikman, G Poesia, Y Pu, N Haber, ND Goodman arXiv preprint arXiv:2309.05660, 2023 | 24 | 2023 |
Static placement of computation on heterogeneous devices G Poesia, B Guimarães, F Ferracioli, FMQ Pereira Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017 | 22 | 2017 |
Certified deductive reasoning with language models G Poesia, K Gandhi, E Zelikman, ND Goodman arXiv preprint arXiv:2306.04031, 2023 | 13 | 2023 |
Contrastive reinforcement learning of symbolic reasoning domains G Poesia, WX Dong, N Goodman Advances in neural information processing systems 34, 15946-15956, 2021 | 13 | 2021 |
Open-domain clarification question generation without question examples J White, G Poesia, R Hawkins, D Sadigh, N Goodman EMNLP 2021, 2021 | 12 | 2021 |
Peano: learning formal mathematical reasoning G Poesia, ND Goodman Philosophical Transactions of the Royal Society A 381 (2251), 20220044, 2023 | 8 | 2023 |
Dynamic dispatch of context-sensitive optimizations G Poesia, FMQ Pereira Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 6 | 2020 |
Pragmatic code autocomplete G Poesia, N Goodman Proceedings of the AAAI Conference on Artificial Intelligence 35 (1), 445-452, 2021 | 3 | 2021 |
LEMMA: Bootstrapping high-level mathematical reasoning with learned symbolic abstractions Z Li, G Poesia, O Costilla-Reyes, N Goodman, A Solar-Lezama arXiv preprint arXiv:2211.08671, 2022 | 2 | 2022 |
A Lossless Data Reduction for Mining Constrained Patterns in n-ary Relations G Poesia, L Cerf Machine Learning and Knowledge Discovery in Databases: European Conference …, 2014 | 2 | 2014 |
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning? J Hsu, G Poesia, J Wu, ND Goodman I Can’t Believe It’s Not Better Workshop: Failure Modes in the Age of …, 2023 | 1 | 2023 |
Left to the Reader: Abstracting Solutions in Mathematical Reasoning G Poesia, ND Goodman | | |