Armando Solar-Lezama

program synthesis (9) few-shot learning (2) probabilistic programming (2) program induction (2) neural network (2) code generation (2) constraint satisfaction (2) large language model (2) neural program synthesis (2) bayesian inference (2) probabilistic modeling (1) symbolic reasoning (1) logical reasoning (1) theorem proving (1) probabilistic inference (1) causal inference (1) neural network interpretability (1) transfer learning (1) reinforcement learning (1) question generation (1)