research
∙
03/08/2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable...
share
research
∙
03/02/2023
Iterative Circuit Repair Against Formal Specifications
We present a deep learning approach for repairing sequential circuits ag...
research
∙
06/04/2022
Formal Specifications from Natural Language
We study the generalization abilities of language models when translatin...
research
∙
05/30/2022
Attention Flows for General Transformers
In this paper, we study the computation of how much an input token in a ...
research
∙
07/25/2021
Neural Circuit Synthesis from Specification Patterns
We train hierarchical Transformers on the task of synthesizing hardware ...
research
∙
03/06/2020