Send email Copy Email Address
PhD Student

Frederik Schmitt

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Frederik Schmitt

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

Year 2021

2021-12

Neural Circuit Synthesis from Specification Patterns

Conference / Medium

NeurIPS
Advances in Neural Information Processing Systems 34 (NeurIPS 2021)Thirty-fifth Conference on Neural Information Processing Systems

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2021-09-05

Deep Learning for Temporal Logics

Other

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2021-07-21

Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut

Article

iX Magazin für professionelle Informationstechnik

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2021-05

Teaching Temporal Logics to Neural Networks

Conference / Medium

ICLR
International Conference on Learning RepresentationsThe Ninth International Conference on Learning Representations

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page