Learning to Reason Mathematically (original) (raw)
Related papers
Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks
ArXiv, 2020
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
ArXiv, 2019
Learning Simplified Functions to Understand
2020
Graph Neural Networks for Reasoning 2-Quantified Boolean Formulas
2019
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis
arXiv (Cornell University), 2021
Deep symbolic regression: Recovering mathematical expressions from data via policy gradients
ArXiv, 2019
EquGener: A Reasoning Network for Word Problem Solving by Generating Arithmetic Equations
2018
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap
2021
Proceedings of the National Academy of Sciences
Learning Algorithms via Neural Logic Networks
2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
ArXiv, 2019
Artificial Neural Networks that Learn to Satisfy Logic Constraints
2017
First-order logic learning in Artificial Neural Networks
The 2010 International Joint Conference on Neural Networks (IJCNN), 2010
Automatically Composing Representation Transformations as a Means for Generalization
ArXiv, 2019
Visual Learning of Arithmetic Operations
A Gaze into the Internal Logic of Graph Neural 1 Networks , with Logic 2
2022
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Symbolic Reasoning with Differentiable Neural Comput
2016
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks
Cornell University - arXiv, 2020
The Logical Expressiveness of Graph Neural Networks
2020
Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks
arXiv (Cornell University), 2021
Learning with Graph Neural Networks
IJMRAP, 2022
Findings of the Association for Computational Linguistics: EMNLP 2020, 2020
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
Advances in Soft Computing, 2009
Deep Learning with Dynamic Computation Graphs
2017
Deep reinforcement learning using compositional representations for performing instructions
2018
Learning by Abstraction: The Neural State Machine
2019
Representation Power of Graph Neural Networks: Improved Expressivity via Algebraic Analysis
arXiv (Cornell University), 2022
Optimizing regular computations based on neural networks and Graph Traversal
Procedia Computer Science, 2021
Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP
Proceedings of the AAAI Conference on Artificial Intelligence, 2019
Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning
arXiv: Artificial Intelligence, 2021
Graph Neural Networks and Boolean Satisfiability
ArXiv, 2017