Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving (original) (raw)

EquGener: A Reasoning Network for Word Problem Solving by Generating Arithmetic Equations

Pruthwik Mishra

2018

View PDFchevron_right

MathBot – A Deep Learning based Elementary School Math Word Problem Solver

Anish Nayak

2019

View PDFchevron_right

Deep Neural Network based system for solving Arithmetic Word problems

Pruthwik Mishra

2017

View PDFchevron_right

Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem

Fangli Xu

Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

View PDFchevron_right

Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction

Zhanming Jie

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

View PDFchevron_right

Towards Formula Translation using Recursive Neural Networks

Bela Gipp

ArXiv, 2018

View PDFchevron_right

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper)

Ahmad Hilmi

2016

View PDFchevron_right

A Weakly Supervised Model for Solving Math word Problems

Vishwajeet Kumar

ArXiv, 2021

View PDFchevron_right

Machine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning

chi zhang

Proceedings of the AAAI Conference on Artificial Intelligence, 2020

View PDFchevron_right

Measuring Mathematical Problem Solving With the MATH Dataset

Saurav Kadavath

2021

View PDFchevron_right

A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level

Roman Wang

Proceedings of the National Academy of Sciences

View PDFchevron_right

Neural Machine Translation for Mathematical Formulae

Bela Gipp

Neural Machine Translation for Mathematical Formulae, 2023

View PDFchevron_right

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

Zhanfu Yang

ArXiv, 2019

View PDFchevron_right

Learning to Reason Mathematically

Arash Mehrjou

2019

View PDFchevron_right

Translating Mathematical Formula Images to LaTeX Sequences Using Deep Neural Networks with Sequence-level Training

Zelun Wang

2019

View PDFchevron_right

Generate Rank: A Multi-task Framework for Math Word Problems

Nur Yaman

Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

View PDFchevron_right

MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning

Debopriyo Banerjee

arXiv (Cornell University), 2024

View PDFchevron_right

Artificial Neural Networks that Learn to Satisfy Logic Constraints

Shimon Cohen

2017

View PDFchevron_right

Symbolic Reasoning with Differentiable Neural Comput

Malcolm Reynolds

2016

View PDFchevron_right

A Multi-language Platform for Generating Algebraic Mathematical Word Problems

vijini liyanage

2019 14th Conference on Industrial and Information Systems (ICIIS)

View PDFchevron_right

Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach

Zhuoran Yu

International Journal on Artificial Intelligence Tools, 2019

View PDFchevron_right

A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis

Johnny Ye

arXiv (Cornell University), 2021

View PDFchevron_right

Neural Module Networks for Reasoning over Text

Nitish Gupta

ArXiv, 2020

View PDFchevron_right

On Sequence Encodings for Positional Reasoning Task with Deep Neural Networks

Ari ReYes

2017

View PDFchevron_right

Deep symbolic regression: Recovering mathematical expressions from data via policy gradients

Brenden Petersen

ArXiv, 2019

View PDFchevron_right

Mining Commonsense and Domain Knowledge from Math Word Problems

Keh-Yih Su

2021

View PDFchevron_right

Handwritten Mathematical Expression Solver using CNN

IJRASET Publication

International Journal for Research in Applied Science and Engineering Technology (IJRASET), 2022

View PDFchevron_right

Recursive Neural Networks Can Learn Logical Semantics

Christopher D Manning

Proceedings of the 3rd Workshop on Continuous Vector Space Models and their Compositionality, 2015

View PDFchevron_right

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Ibrahim Abdelaziz

ArXiv, 2019

View PDFchevron_right

Visual Learning of Arithmetic Operations

Shmuel Peleg

View PDFchevron_right

Distilling Wikipedia mathematical knowledge into neural network models

Brenden Petersen

ArXiv, 2021

View PDFchevron_right

Pointer Networks

Minh Duc Cao

View PDFchevron_right

Evaluation of Handwritten Arithmetic Equations using Convolution Neural Networks

Ahmed Akram

2020

View PDFchevron_right

Graph Neural Networks for Reasoning 2-Quantified Boolean Formulas

Zhanfu Yang

2019

View PDFchevron_right

Recursive Neural Networks for Learning Logical Semantics

Christopher D Manning

View PDFchevron_right