← authors · overview

• Programmatically Interpretable Reinforcement Learning
  2018 · 98 citations
• Neural Sketch Learning for Conditional Program Generation
  2017 · 52 citations
• Control Regularization for Reduced Variance Reinforcement Learning
  2019 · 39 citations
• Neural Attribute Machines for Program Generation
  2017 · 21 citations
• Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives
  2018 · 18 citations
• Neurosymbolic Reinforcement Learning with Formally Verified Exploration
  2020 · 14 citations
• Data-Driven Program Completion
  2017 · 11 citations
• AlphaEvolve: A coding agent for scientific and algorithmic discovery
  2025 · 8 citations
• Imitation-Projected Programmatic Reinforcement Learning
  2019 · 8 citations
• Learning Differentiable Programs with Admissible Neural Heuristics
  2020 · 6 citations
• Batched Low-Rank Adaptation of Foundation Models
  2023 · 2 citations
• Grounding Data Science Code Generation with Input-Output Specifications
  2024 · 2 citations
• When Parallelism Pays Off: Cohesion-Aware Task Partitioning for Multi-Agent Coding
  2026
• FormulaCode: Evaluating Agentic Optimization on Large Codebases
  2026
• FormulaCode: Evaluating Agentic Optimization on Large Codebases
  2026