Text this: study of continuous vector representations for theorem proving.