Gabriel Poesia
Stanford University
H-index: 7
North America-United States
Top articles of Gabriel Poesia
Parsel????: Algorithmic Reasoning with Language Models by Composing Decompositions
Advances in Neural Information Processing Systems
2023/12/15
Hypothesis search: Inductive reasoning with language models
arXiv preprint arXiv:2309.05660
2023/9/11
Peano: learning formal mathematical reasoning
Philosophical Transactions of the Royal Society A
2023/7/24
Gabriel Poesia
H-Index: 2
Certified deductive reasoning with language models
arXiv preprint arXiv:2306.04031
2023/6
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning?
2023/4/24
Solving math word problems by combining language models with symbolic solvers
arXiv preprint arXiv:2304.09102
2023/4/16
Synchromesh: Reliable code generation from pre-trained language models
2022/1/26
LEMMA: Bootstrapping high-level mathematical reasoning with learned symbolic abstractions
arXiv preprint arXiv:2211.08671
2022/11/16
Zhening Li
H-Index: 12
Gabriel Poesia
H-Index: 2
Omar Costilla-Reyes
H-Index: 7
Armando Solar-Lezama
H-Index: 34
Contrastive reinforcement learning of symbolic reasoning domains
Advances in neural information processing systems
2021/12/6
Gabriel Poesia
H-Index: 2
Open-domain clarification question generation without question examples
2021/10/19
Gabriel Poesia
H-Index: 2
Dorsa Sadigh
H-Index: 23
Pragmatic code autocomplete
Proceedings of the AAAI Conference on Artificial Intelligence
2021/5/18
Gabriel Poesia
H-Index: 2
Dynamic dispatch of context-sensitive optimizations
Proceedings of the ACM on Programming Languages
2020/11/13
Gabriel Poesia
H-Index: 2
Fernando Magno Quintão Pereira
H-Index: 15