Search Results for author:
Found 3 papers, 2 papers with code
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem.
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable when performing any verification task.
Iterative Circuit Repair Against Formal Specifications
We propose a separated hierarchical Transformer for multimodal representation learning of the formal specification and the circuit.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
