Generating Symbolic Reasoning Problems with Transformer GANs

19 October 2021

Papers citing "Generating Symbolic Reasoning Problems with Transformer GANs"

4 / 4 papers shown

Title
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis Matthias Cosler Christopher Hahn Ayham Omar Frederik Schmitt NAI 20 1 0 22 Jan 2024
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models Matthias Cosler Christopher Hahn Daniel Mendoza Frederik Schmitt Caroline Trippel 14 55 0 08 Mar 2023
Iterative Circuit Repair Against Formal Specifications Matthias Cosler Frederik Schmitt Christopher Hahn Bernd Finkbeiner 8 10 0 02 Mar 2023
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 156 0 25 May 2022