study of continuous vector representations for theorem proving. - PurgaŁ, StanisŁaw; Parsert, Julian; Kaliszyk, Cezary (Journal of Logic & Computation, 2021)