Teaching Temporal Logics to Neural Networks

Teaching Temporal Logics to Neural Networks

6 March 2020

Christopher Hahn

Frederik Schmitt

Bernd Finkbeiner

Papers citing "Teaching Temporal Logics to Neural Networks"

12 / 12 papers shown

Title
Logical forms complement probability in understanding language model (and human) performance Yixuan Wang Freda Shi ReLM LRM 71 2 0 13 Feb 2025
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence İlker Işık R. G. Cinbis Ebru Aydin Gol 26 0 0 22 Oct 2024
ODEFormer: Symbolic Regression of Dynamical Systems with Transformers Stéphane d’Ascoli Soren Becker Alexander Mathis Philippe Schwaller Niki Kilbertus 19 21 0 09 Oct 2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning Haoze Wu Christopher Hahn Florian Lonsing Makai Mann R. Ramanujan Clark W. Barrett OffRL LRM 26 1 0 18 May 2023
Iterative Circuit Repair Against Formal Specifications Matthias Cosler Frederik Schmitt Christopher Hahn Bernd Finkbeiner 10 10 0 02 Mar 2023
Attention Flows for General Transformers Niklas Metzger Christopher Hahn Julian Siber Frederik Schmitt Bernd Finkbeiner 26 0 0 30 May 2022
Linear algebra with transformers Franccois Charton AIMat 17 56 0 03 Dec 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 22 6 0 19 Oct 2021
Teaching Autoregressive Language Models Complex Tasks By Demonstration Gabriel Recchia 26 22 0 05 Sep 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 16 120 0 11 Feb 2021
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Z. Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 716 6,724 0 26 Sep 2016