| 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 | 229 | 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 | 87 | 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 | 59* | 2023 |
| Certified deductive reasoning with language models G Poesia, K Gandhi, E Zelikman, ND Goodman Transactions on Machine Learning Research, 2024, 2023 | 28 | 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 | 20 | 2021 |
| Contrastive reinforcement learning of symbolic reasoning domains G Poesia, WX Dong, N Goodman Advances in neural information processing systems 34, 15946-15956, 2021 | 18 | 2021 |
| Learning Formal Mathematics From Intrinsic Motivation G Poesia, D Broman, N Haber, ND Goodman NeurIPS, 2024 | 11 | 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 |
| 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 | 6 | 2024 |
| 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 |
| 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 | 4 | 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 |
| dafny-annotator: AI-Assisted Verification of Dafny Programs G Poesia, C Loughridge, N Amin arXiv preprint arXiv:2411.15143, 2024 | | 2024 |
| h4rm3l: A Dynamic Benchmark of Composable Jailbreak Attacks for LLM Safety Assessment M Koulako Bala Doumbouya, A Nandi, G Poesia, D Ghilardi, A Goldie, ... arXiv e-prints, arXiv: 2408.04811, 2024 | | 2024 |
Noah D. GoodmanStanford UniversityE-mailová adresa ověřena na: stanford.edu