PPaperPicks

Federico Mora

3 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2NeurIPS ×1

Frequent coauthors

Yixuan Li
DBLP profile ↗ORCID search ↗
×1
Amar Shah
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Online Prompt Selection for Program Synthesis
    AAAI 2025 ·
    Yixuan Li
    DBLP profile ↗ORCID search ↗
  2. An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
    AAAI 2024 ·
    Amar Shah
    DBLP profile ↗ORCID search ↗
  3. Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
    NeurIPS 2024 · Federico Mora