pith. sign in

Gabriel Poesia

Identifiers

  • name variant Gabriel Poesia 0.60 · backfill

Papers (18)

  1. The Token Games: Evaluating Language Model Reasoning with Puzzle Duels cs.AI · 2026 · author #2
  2. A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models cs.AI · 2025 · author #3
  3. ProofCompass: Enhancing Specialized Provers with LLM Guidance cs.AI · 2025 · author #3
  4. Automated Discovery of Tactic Libraries for Interactive Theorem Proving cs.PL · 2025 · author #3
  5. Formal Mathematical Reasoning: A New Frontier in AI cs.AI · 2024 · author #2
  6. dafny-annotator: AI-Assisted Verification of Dafny Programs cs.SE · 2024 · author #1
  7. h4rm3l: A language for Composable Jailbreak Attack Synthesis cs.CR · 2024 · author #3
  8. Learning Formal Mathematics From Intrinsic Motivation cs.AI · 2024 · author #1
  9. When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions cs.LG · 2024 · author #2
  10. Hypothesis Search: Inductive Reasoning with Language Models cs.LG · 2023 · author #3
  11. Certified Deductive Reasoning with Language Models cs.AI · 2023 · author #1
  12. Solving Math Word Problems by Combining Language Models With Symbolic Solvers cs.CL · 2023 · author #2
  13. Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions cs.CL · 2022 · author #3
  14. Peano: Learning Formal Mathematical Reasoning cs.AI · 2022 · author #1
  15. LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions cs.AI · 2022 · author #2
  16. Synchromesh: Reliable code generation from pre-trained language models cs.LG · 2022 · author #1
  17. Open-domain clarification question generation without question examples cs.CL · 2021 · author #2
  18. Contrastive Reinforcement Learning of Symbolic Reasoning Domains cs.AI · 2021 · author #1

Mentions

  • 2503.24036 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2507.14335 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2408.04811 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2412.16075 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2411.15143 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2407.00695 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2406.07897 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2309.05660 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2306.04031 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2211.15864 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2212.10561 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2304.09102 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2211.08671 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2201.11227 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2106.09146 #1 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2110.09779 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2511.08548 #3 · arxiv_oai · confidence 0.70 Gabriel Poesia
  • 2602.17831 #2 · arxiv_oai · confidence 0.70 Gabriel Poesia

Frequent Coauthors