Matthias Cosler | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Bernd Finkbeiner
77 publications
Christopher Hahn
22 publications
Caroline Trippel
13 publications
Frederik Schmitt
6 publications
Daniel Mendoza
3 publications

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...

0 Matthias Cosler, et al. ∙

research

∙ 03/02/2023

Iterative Circuit Repair Against Formal Specifications

We present a deep learning approach for repairing sequential circuits ag...

0 Matthias Cosler, et al. ∙