Picture for Elizabeth Polgreen

Elizabeth Polgreen

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages

Add code
Jun 05, 2024
Viaarxiv icon

Guiding Enumerative Program Synthesis with Large Language Models

Add code
Mar 06, 2024
Viaarxiv icon

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

Add code
Oct 06, 2023
Viaarxiv icon

Reinforcement Learning for Syntax-Guided Synthesis

Add code
Jul 13, 2023
Viaarxiv icon

Satisfiability and Synthesis Modulo Oracles

Add code
Jul 28, 2021
Figure 1 for Satisfiability and Synthesis Modulo Oracles
Figure 2 for Satisfiability and Synthesis Modulo Oracles
Figure 3 for Satisfiability and Synthesis Modulo Oracles
Figure 4 for Satisfiability and Synthesis Modulo Oracles
Viaarxiv icon

Gradient Descent over Metagrammars for Syntax-Guided Synthesis

Add code
Jul 16, 2020
Figure 1 for Gradient Descent over Metagrammars for Syntax-Guided Synthesis
Viaarxiv icon

CounterExample Guided Neural Synthesis

Add code
Jan 25, 2020
Figure 1 for CounterExample Guided Neural Synthesis
Figure 2 for CounterExample Guided Neural Synthesis
Figure 3 for CounterExample Guided Neural Synthesis
Figure 4 for CounterExample Guided Neural Synthesis
Viaarxiv icon

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes

Add code
Jul 05, 2017
Figure 1 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 2 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 3 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 4 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Viaarxiv icon