Picture for Armando Solar-Lezama

Armando Solar-Lezama

Massachusetts Institute of Technology

Program Synthesis Guided Reinforcement Learning

Add code
Feb 22, 2021
Figure 1 for Program Synthesis Guided Reinforcement Learning
Figure 2 for Program Synthesis Guided Reinforcement Learning
Figure 3 for Program Synthesis Guided Reinforcement Learning
Figure 4 for Program Synthesis Guided Reinforcement Learning
Viaarxiv icon

Neurosymbolic Transformers for Multi-Agent Communication

Add code
Jan 05, 2021
Figure 1 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 2 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 3 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 4 for Neurosymbolic Transformers for Multi-Agent Communication
Viaarxiv icon

Representing Partial Programs with Blended Abstract Semantics

Add code
Dec 23, 2020
Figure 1 for Representing Partial Programs with Blended Abstract Semantics
Figure 2 for Representing Partial Programs with Blended Abstract Semantics
Figure 3 for Representing Partial Programs with Blended Abstract Semantics
Figure 4 for Representing Partial Programs with Blended Abstract Semantics
Viaarxiv icon

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction

Add code
Oct 05, 2020
Figure 1 for Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction
Figure 2 for Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction
Figure 3 for Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction
Figure 4 for Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction
Viaarxiv icon

Program Synthesis with Pragmatic Communication

Add code
Jul 09, 2020
Figure 1 for Program Synthesis with Pragmatic Communication
Figure 2 for Program Synthesis with Pragmatic Communication
Figure 3 for Program Synthesis with Pragmatic Communication
Figure 4 for Program Synthesis with Pragmatic Communication
Viaarxiv icon

Verifiably Safe Exploration for End-to-End Reinforcement Learning

Add code
Jul 02, 2020
Figure 1 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 2 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 3 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 4 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Viaarxiv icon

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Add code
Jun 15, 2020
Figure 1 for DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Figure 2 for DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Figure 3 for DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Figure 4 for DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Viaarxiv icon

Learning Compositional Rules via Neural Program Synthesis

Add code
Mar 12, 2020
Figure 1 for Learning Compositional Rules via Neural Program Synthesis
Figure 2 for Learning Compositional Rules via Neural Program Synthesis
Figure 3 for Learning Compositional Rules via Neural Program Synthesis
Viaarxiv icon

Write, Execute, Assess: Program Synthesis with a REPL

Add code
Jun 09, 2019
Figure 1 for Write, Execute, Assess: Program Synthesis with a REPL
Figure 2 for Write, Execute, Assess: Program Synthesis with a REPL
Figure 3 for Write, Execute, Assess: Program Synthesis with a REPL
Figure 4 for Write, Execute, Assess: Program Synthesis with a REPL
Viaarxiv icon

Learning to Infer Program Sketches

Add code
Feb 17, 2019
Figure 1 for Learning to Infer Program Sketches
Figure 2 for Learning to Infer Program Sketches
Figure 3 for Learning to Infer Program Sketches
Figure 4 for Learning to Infer Program Sketches
Viaarxiv icon