Matthias Cosler

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Neural Circuit Synthesis with Pre-trained Language Models

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

Iterative Circuit Repair Against Formal Specifications

Repairing Circuits with Transformers

Towards Synthesizing Smart Contracts: Reducing ATL* Synthesis to HyperLTL Synthesis

A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Contrastive Neural Model Checking