56 citations · 122 across the 22 of their papers we have counts for
7 papers · 1 filter
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code
Brando Miranda, Avi Shinnar, Vasily Pestun +1
Despite a growing body of work at the intersection of deep learning and formal languages, there has been relatively little systematic exploration of transformer models for reasonin…
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui +4
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or c…
Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel +1
JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the st…
Type-Driven Automated Learning with Lale
Martin Hirzel, Kiran Kate, Avraham Shinnar +2
Machine-learning automation tools, ranging from humble grid-search to hyperopt, auto-sklearn, and TPOT, help explore large search spaces of possible pipelines. Unfortunately, each…
Yaps: Python Frontend to Stan
Guillaume Baudart, Martin Hirzel, Kiran Kate +2
Stan is a popular probabilistic programming language with a self-contained syntax and semantics that is close to graphical models. Unfortunately, existing embeddings of Stan in Pyt…
Ariadne: Analysis for Machine Learning Program
Julian Dolby, Avraham Shinnar, Allison Allain +1
Machine learning has transformed domains like vision and translation, and is now increasingly used in science, where the correctness of such code is vital. Python is popular for ma…
Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat +2
We present a formal small-step structural operational semantics for a large fragment of X10, unifying past work. The fragment covers multiple places, mutable objects on the heap, s…