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 | 232 | 2022 |
Solving math word problems by combining language models with symbolic solvers J He-Yueya, G Poesia, RE Wang, ND Goodman NeurIPS MATH-AI Workshop, 2023 | 88 | 2023 |
Hypothesis search: Inductive reasoning with language models R Wang, E Zelikman, G Poesia, Y Pu, N Haber, ND Goodman ICLR 2024, 2024 | 83 | 2024 |
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 | 75* | 2023 |
Peano: learning formal mathematical reasoning G Poesia, ND Goodman Philosophical Transactions of the Royal Society A 381 (2251), 20220044, 2023 | 23 | 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 |
Open-domain clarification question generation without question examples J White, G Poesia, R Hawkins, D Sadigh, N Goodman EMNLP 2021, 2021 | 18 | 2021 |
Contrastive reinforcement learning of symbolic reasoning domains G Poesia, WX Dong, N Goodman Advances in neural information processing systems 34, 15946-15956, 2021 | 17 | 2021 |
Certified deductive reasoning with language models G Poesia, K Gandhi, E Zelikman, ND Goodman Transactions on Machine Learning Research, 2024, 2023 | 11 | 2023 |
Learning Formal Mathematics From Intrinsic Motivation G Poesia, D Broman, N Haber, ND Goodman NeurIPS, 2024 | 10 | 2024 |
Dynamic dispatch of context-sensitive optimizations G Poesia, FMQ Pereira Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 7 | 2020 |
Lemma: Bootstrapping high-level mathematical reasoning with learned symbolic abstractions Z Li, G Poesia, O Costilla-Reyes, N Goodman, A Solar-Lezama NeurIPS MATH-AI Workshop, 2022 | 6 | 2022 |
h4rm3l: A dynamic benchmark of composable jailbreak attacks for llm safety assessment MKB Doumbouya, A Nandi, G Poesia, D Ghilardi, A Goldie, F Bianchi, ... arXiv preprint arXiv:2408.04811, 2024 | 5 | 2024 |
Formal mathematical reasoning: A new frontier in ai K Yang, G Poesia, J He, W Li, K Lauter, S Chaudhuri, D Song arXiv preprint arXiv:2412.16075, 2024 | 3 | 2024 |
Pragmatic code autocomplete G Poesia, N Goodman Proceedings of the AAAI Conference on Artificial Intelligence 35 (1), 445-452, 2021 | 3 | 2021 |
MathCAMPS: Fine-grained synthesis of mathematical problems from human curricula S Mishra, G Poesia, B Mo, ND Goodman arXiv preprint arXiv:2407.00900, 2024 | 2 | 2024 |
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 |
Data for mathematical copilots: Better ways of presenting proofs for machine learning S Frieder, J Bayer, KM Collins, J Berner, J Loader, A Juhász, F Ruehle, ... arXiv preprint arXiv:2412.15184, 2024 | 1 | 2024 |
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning? J Hsu, G Poesia, J Wu, N Goodman Proceedings on, 21-28, 2023 | 1 | 2023 |
dafny-annotator: AI-Assisted Verification of Dafny Programs G Poesia, C Loughridge, N Amin arXiv preprint arXiv:2411.15143, 2024 | | 2024 |