Before revision:  Our experiments (using various neural sequence-to-sequence models) reveal that while the task is challenging, neural models can indeed capture non-trivial mathematical reasoning.
After revision:  Our experiments (using various neural sequence-to-sequence models) reveal that while the task is challenging, neural models can capture non-trivial mathematical reasoning.