• Publications
  • Influence
How well do Computers Solve Math Word Problems? Large-Scale Dataset Construction and Evaluation
TLDR
In this paper, we build a large-scale dataset which is more than 9 times the size of previous ones, and contains many more problem types. Expand
  • 40
  • 5
  • PDF
Neural Math Word Problem Solver with Reinforcement Learning
TLDR
Sequence-to-sequence model has been applied to solve math word problems. Expand
  • 18
  • 5
Learning Fine-Grained Expressions to Solve Math Word Problems
TLDR
This paper presents a novel template-based method to solve math word problems. Expand
  • 29
  • 2
  • PDF
ASM-SPV: A Model Checker for Security Protocols
TLDR
This paper presents details of a model checker for security protocols, called ASM-SPV (Abstract State Machines-Security Protocols Verifier), which employs the on-the-fly model checking technique as the convenient verification method and directly supports the whole CoreASM language. Expand
  • 3
  • 1
Towards Generating Math Word Problems from Equations and Topics
TLDR
We propose a novel neural network model to generate math word problems from the given equations and topics, which significantly outperforms the baseline models. Expand
  • 1
  • 1
  • PDF
Using Intermediate Representations to Solve Math Word Problems
TLDR
This paper presents an intermediate meaning representation scheme for math problem solving that bridges the semantic gap between natural language and equation systems. Expand
  • 7
  • PDF
A Novel Method Based on Chemical Reaction Optimization for Pairwise Sequence Alignment
TLDR
The problem of pairwise sequence alignment is the fundamental and important problem in computational biology. Expand
  • 2
Jingyao SUN
made an indelible contribution to the development of Chinese comparative literature. Professor Sun was born in Shanghai in 1943. He graduated from Fudan University in 1966. In 1993, he became aExpand
Improved Feature Weight Calculation Methods Based on Part-of-Speech in Text Classification
TLDR
In this paper, two methods on improving the feature weight calculation by introducing the influence of part-of-speech are proposed, one is Single-Part- of-Speech (SPOS) and the other is Multi-part-of Speech (MPOS). Expand