Send email Copy Email Address
PhD Student

Matthias Cosler

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Matthias Cosler

Year 2023

2023-07-17

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

Conference / Medium

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

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2023-05-01

Iterative Circuit Repair Against Formal Specifications

Conference / Medium

ICLR
International Conference on Learning RepresentationsEleventh International Conference on Learning Representations

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page