Poesia, Gabriel
- Formal Mathematical Reasoning: A New Frontier in AI
2024/12/20 by Kaiyu Yang, Gabriel Poesia, Yang, Kaiyu +11 · 2 voices · 20 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- Hypothesis Search: Inductive Reasoning with Language Models
2023/09/11 by Ruocheng Wang, Eric Zelikman, Wang, Ruocheng +9 · 21 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- Synchromesh: Reliable code generation from pre-trained language models
2022/01/26 by Poesia, Gabriel, Polozov, Oleksandr, Le, Vu +4 · 15 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Solving Math Word Problems by Combining Language Models With Symbolic Solvers
2023/04/16 by Joy He-Yueya, Gabriel Poesia, He-Yueya, Joy +5 · 11 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions
2022/12/20 by Zelikman, Eric, Huang, Qian, Poesia, Gabriel +2 · 8 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Learning Formal Mathematics From Intrinsic Motivation
2024/06/30 by Gabriel Poesia, Poesia, Gabriel, David Broman +5 · 1 voice · 7 citations
Computer Science · Mathematics · Social Sciences · #Computability, Logic, AI Algorithms #History and Theory of Mathematics #Mathematics Education and Teaching Techniques #cs.AI #cs.LO
- dafny-annotator: AI-Assisted Verification of Dafny Programs
2024/11/05 by Gabriel Poesia, Poesia, Gabriel, Chloe Loughridge +3 · 1 voice · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.AI #cs.PL #cs.SE
- h4rm3l: A language for Composable Jailbreak Attack Synthesis
2024/08/09 by Doumbouya, Moussa Koulako Bala, Nandi, Ananjan, Poesia, Gabriel +5 · 5 citations
#68 #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #I.2 #I.2.0 #I.2.1 #I.2.5 #I.2.7 #K.4.2 #K.6.5 #Machine Learning (cs.LG)
- Contrastive Reinforcement Learning of Symbolic Reasoning Domains
2021/06/16 by Poesia, Gabriel, Dong, WenXin, Goodman, Noah · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Open-domain clarification question generation without question examples
2021/10/19 by White, Julia, Poesia, Gabriel, Hawkins, Robert +2 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
2024/12/19 by Simon Frieder, Jonas Bayer, Frieder, Simon +27 · 2 citations
Computer Science · #Numerical Methods and Algorithms #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
- ProofCompass: Enhancing Specialized Provers with LLM Guidance
2025/07/18 by Wischermann, Nicolas, Verdun, Claudio Mayrink, Poesia, Gabriel +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
2024/07/01 by Shubhra Mishra, Gabriel Poesia, Mishra, Shubhra +2 · 1 citation
Computer Science · #Intelligent Tutoring Systems and Adaptive Learning