Items where Author is "Schmitt, Frederik"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article | Other
Number of items: 6.

Conference or Workshop Item (A Paper)

Cosler, Matthias and Hahn, Christopher and Mendoza, Daniel and Schmitt, Frederik and Trippel, Caroline
(2023) nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
In: 35th International Conference on Computer Aided Verification (CAV 2023).
Conference: CAV Computer Aided Verification

Cosler, Matthias and Schmitt, Frederik and Hahn, Christopher and Finkbeiner, Bernd
(2023) Iterative Circuit Repair Against Formal Specifications.
In: Eleventh International Conference on Learning Representations.
Conference: ICLR International Conference on Learning Representations

Schmitt, Frederik and Hahn, Christopher and Rabe, Markus N. and Finkbeiner, Bernd
(2021) Neural Circuit Synthesis from Specification Patterns.
In: Thirty-fifth Conference on Neural Information Processing Systems.
Conference: NeurIPS Conference on Neural Information Processing Systems

Hahn, Christopher and Schmitt, Frederik and Kreber, Jens U. and Rabe, Markus Norman and Finkbeiner, Bernd
(2021) Teaching Temporal Logics to Neural Networks.
In: The Ninth International Conference on Learning Representations.
Conference: ICLR International Conference on Learning Representations

Article

Finkbeiner, Bernd and Schmitt, Frederik
(2021) Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut.
iX Magazin für professionelle Informationstechnik (8). pp. 40-43. ISSN 0935-9680

Other

Schmitt, Frederik and Hahn, Christopher and Kreber, Jens U. and Rabe, Markus N. and Finkbeiner, Bernd
(2021) Deep Learning for Temporal Logics.
Unpublished
.
(Unpublished)

This list was generated on Fri Apr 19 14:04:31 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.