Learning Continuous Semantic Representations of Symbolic Expressions

Learning Continuous Semantic Representations of Symbolic Expressions

4 November 2016

Miltiadis Allamanis

Pankajan Chanthirasegaran

Papers citing "Learning Continuous Semantic Representations of Symbolic Expressions"

13 / 13 papers shown

Title
Learning from Noisy Crowd Labels with Logics Zhijun Chen Hailong Sun Haoqian He Pengpeng Chen NoLa NAI 27 7 0 13 Feb 2023
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
Semantic Representations of Mathematical Expressions in a Continuous Vector Space Neeraj Gangwar N. Kani 16 1 0 08 Oct 2022
LAMNER: Code Comment Generation Using Character Language Model and Named Entity Recognition Rishab Sharma Fuxiang Chen Fatemeh H. Fard 36 2 0 05 Apr 2022
Deep Symbolic Regression for Recurrent Sequences Stéphane dÁscoli Pierre-Alexandre Kamienny Guillaume Lample Franccois Charton 42 54 0 12 Jan 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 20 7 0 31 Dec 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 6 0 19 Oct 2021
A Literature Study of Embeddings on Source Code Zimin Chen Monperrus Martin 49 82 0 05 Apr 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 17 414 0 02 Apr 2019
Learning to Perform Local Rewriting for Combinatorial Optimization Xinyun Chen Yuandong Tian NAI OffRL 14 335 0 30 Sep 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 13 38 0 20 Jul 2018
Relational inductive biases, deep learning, and graph networks Peter W. Battaglia Jessica B. Hamrick V. Bapst Alvaro Sanchez-Gonzalez V. Zambaldi ... Pushmeet Kohli M. Botvinick Oriol Vinyals Yujia Li Razvan Pascanu AI4CE NAI 94 3,078 0 04 Jun 2018
HOUDINI: Lifelong Learning as Program Synthesis Lazar Valkov Dipak Chaudhari Akash Srivastava Charles Sutton Swarat Chaudhuri 16 78 0 31 Mar 2018