← authors · overview

• LambdaNet: Probabilistic Type Inference using Graph Neural Networks
  2020 · 47 citations
• Type- and Content-Driven Synthesis of SQL Queries from Natural Language
  2017 · 22 citations
• Relational Program Synthesis
  2018 · 19 citations
• Neurosymbolic Reinforcement Learning with Formally Verified Exploration
  2020 · 14 citations
• Learning Abstractions for Program Synthesis
  2018 · 13 citations
• OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation
  2021 · 4 citations
• TypeT5: Seq2seq Type Inference using Static Analysis
  2023 · 4 citations
• SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
  2023 · 4 citations
• Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
  2024 · 3 citations
• CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
  2025 · 2 citations
• Type-Directed Synthesis of Visualizations from Natural Language Queries
  2022 · 2 citations
• Optimal Neural Program Synthesis from Multimodal Specifications
  2020 · 1 citations
• Web Question Answering with Neurosymbolic Program Synthesis
  2021 · 1 citations
• Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
  2022 · 1 citations
• Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
  2023 · 1 citations