Follow
Gabriel Poesia
Title
Cited by
Cited by
Year
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
2322022
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
882023
Hypothesis search: Inductive reasoning with language models
R Wang, E Zelikman, G Poesia, Y Pu, N Haber, ND Goodman
ICLR 2024, 2024
832024
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
232023
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
222017
Open-domain clarification question generation without question examples
J White, G Poesia, R Hawkins, D Sadigh, N Goodman
EMNLP 2021, 2021
182021
Contrastive reinforcement learning of symbolic reasoning domains
G Poesia, WX Dong, N Goodman
Advances in neural information processing systems 34, 15946-15956, 2021
172021
Certified deductive reasoning with language models
G Poesia, K Gandhi, E Zelikman, ND Goodman
Transactions on Machine Learning Research, 2024, 2023
112023
Learning Formal Mathematics From Intrinsic Motivation
G Poesia, D Broman, N Haber, ND Goodman
NeurIPS, 2024
102024
Dynamic dispatch of context-sensitive optimizations
G Poesia, FMQ Pereira
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
72020
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
62022
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
52024
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
32024
Pragmatic code autocomplete
G Poesia, N Goodman
Proceedings of the AAAI Conference on Artificial Intelligence 35 (1), 445-452, 2021
32021
MathCAMPS: Fine-grained synthesis of mathematical problems from human curricula
S Mishra, G Poesia, B Mo, ND Goodman
arXiv preprint arXiv:2407.00900, 2024
22024
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
22014
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
12024
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning?
J Hsu, G Poesia, J Wu, N Goodman
Proceedings on, 21-28, 2023
12023
dafny-annotator: AI-Assisted Verification of Dafny Programs
G Poesia, C Loughridge, N Amin
arXiv preprint arXiv:2411.15143, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20