Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

15 November 2019

Papers citing "Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling"

6 / 6 papers shown

Title
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic Gaia Saveri L. Nenzi Luca Bortolussi Jan Křetínský 30 0 0 23 May 2024
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 32 1 0 10 Dec 2022
Directed Acyclic Graph Network for Conversational Emotion Recognition Weizhou Shen Siyue Wu Yunyi Yang Xiaojun Quan 37 240 0 27 May 2021
Measuring Mathematical Problem Solving With the MATH Dataset Dan Hendrycks Collin Burns Saurav Kadavath Akul Arora Steven Basart Eric Tang D. Song Jacob Steinhardt ReLM FaML 78 1,814 0 05 Mar 2021
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 218 7,926 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 132 0 10 Oct 2013