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"

5 / 5 papers shown

Title
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 27 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 60 1,804 0 05 Mar 2021
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 218 7,923 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 132 0 10 Oct 2013