Teaching Temporal Logics to Neural Networks

6 March 2020

Papers citing "Teaching Temporal Logics to Neural Networks"

22 / 22 papers shown

Title
Logical forms complement probability in understanding language model (and human) performance Yixuan Wang Freda Shi ReLM LRM 81 2 0 13 Feb 2025
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence İlker Işık R. G. Cinbis Ebru Aydin Gol 36 0 0 22 Oct 2024
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models Mihir Parmar Nisarg Patel Neeraj Varshney Mutsumi Nakamura Man Luo Santosh Mashetty Arindam Mitra Chitta Baral LRM ReLM ELM 38 25 0 23 Apr 2024
OLViT: Multi-Modal State Tracking via Attention-Based Embeddings for Video-Grounded Dialog Adnen Abdessaied Manuel von Hochmeister Andreas Bulling 40 2 0 20 Feb 2024
ODEFormer: Symbolic Regression of Dynamical Systems with Transformers Stéphane d’Ascoli Soren Becker Alexander Mathis Philippe Schwaller Niki Kilbertus 29 22 0 09 Oct 2023
DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers Anna Langedijk Hosein Mohebbi Gabriele Sarti Willem H. Zuidema Jaap Jumelet 32 10 0 05 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 34 1 0 18 May 2023
Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems Fangzhen Lin Ziyi Shou Chengcai Chen LRM ReLM 14 3 0 04 Apr 2023
Iterative Circuit Repair Against Formal Specifications Matthias Cosler Frederik Schmitt Christopher Hahn Bernd Finkbeiner 23 10 0 02 Mar 2023
Towards Unsupervised Visual Reasoning: Do Off-The-Shelf Features Know How to Reason? Monika Wysoczañska Tom Monnier Tomasz Trzciñski David Picard ReLM OCL 40 1 0 20 Dec 2022
OCTAL: Graph Representation Learning for LTL Model Checking Prasita Mukherjee Haoteng Yin Susheel Suresh Tiark Rompf 27 4 0 24 Jul 2022
Attention Flows for General Transformers Niklas Metzger Christopher Hahn Julian Siber Frederik Schmitt Bernd Finkbeiner 42 0 0 30 May 2022
On the Paradox of Learning to Reason from Data Honghua Zhang Liunian Harold Li Tao Meng Kai-Wei Chang Mathias Niepert NAI ReLM OOD LRM 140 104 0 23 May 2022
End-to-end symbolic regression with transformers Pierre-Alexandre Kamienny Stéphane dÁscoli Guillaume Lample Franccois Charton 33 166 0 22 Apr 2022
Memorizing Transformers Yuhuai Wu M. Rabe DeLesley S. Hutchins Christian Szegedy RALM 30 173 0 16 Mar 2022
Linear algebra with transformers Franccois Charton AIMat 29 56 0 03 Dec 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 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 25 120 0 11 Feb 2021
Conversational Neuro-Symbolic Commonsense Reasoning Forough Arabshahi Jennifer Lee Mikayla Gawarecki Kathryn Mazaitis A. Azaria Tom Michael Mitchell LRM 25 48 0 17 Jun 2020
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 932 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 718 6,748 0 26 Sep 2016