6 citations · 8 across the 3 of their papers we have counts for
3 papers
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Matthias Cosler, Christopher Hahn, Ayham Omar +1
We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches…
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Matthias Cosler, Christopher Hahn, Daniel Mendoza +2
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as wri…
Iterative Circuit Repair Against Formal Specifications
Matthias Cosler, Frederik Schmitt, Christopher Hahn +1
We present a deep learning approach for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). Given a defective circuit and its for…