← 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
• Learning Abstractions for Program Synthesis
  2018 · 13 citations
• TypeT5: Seq2seq Type Inference using Static Analysis
  2023 · 4 citations
• SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
  2023 · 4 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
• Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
  2023 · 1 citations
• Active Learning for Neurosymbolic Program Synthesis
  2025
• Metric Program Synthesis
  2022