75 citations · 146 across the 8 of their papers we have counts for
12 papers
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller +2
We introduce the novel concept of Spatial Predictive Control (SPC) to solve the following problem: given a collection of agents (e.g., drones) with positional low-level controllers…
Synchromesh: Reliable code generation from pre-trained language models
Gabriel Poesia, Oleksandr Polozov, Vu Le +4
Large pre-trained language models have been used to generate code,providing a flexible interface for synthesizing programs from natural language specifications. However, they often…
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani +5
Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and ex…
A Conjecture Equivalent to the Collatz Conjecture
Ashish Tiwari
We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.
Linear Invariants for Linear Systems
Ashish Tiwari
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a linear invariant, -LI…
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani +1
Programming-by-example technologies are being deployed in industrial products for real-time synthesis of various kinds of data transformations. These technologies rely on the user…