Learning To Use Formulas To Solve Simple Arithmetic Problems
SemEval-2012 Task 6: A Pilot on Semantic Textual Similarity