E-mail senden E-Mail Adresse kopieren
Doktorand:in

Matthias Cosler

E-Mail

Telefon

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Matthias Cosler

Jahr 2023

2023-07-17

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Konferenz / Medium

CAV
Lecture Notes in Computer Science (LNCS, volume 13965)35th International Conference on Computer Aided Verification (CAV 2023)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen
2023-05-01

Iterative Circuit Repair Against Formal Specifications

Konferenz / Medium

ICLR
International Conference on Learning RepresentationsEleventh International Conference on Learning Representations

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen