75 citations · 218 across the 23 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.AI2021
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…
cs.LO2021
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.
math.DS2021
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…