Stanisław Purgał, Julian Parsert, Cezary Kaliszyk
Journal of Logic and Computation pp. 27, 2021.
pdf 
doi:10.1093/logcom/exab006
BibTex
@article{spjpck-jlc21, author = {Purgał, Stanisław and Parsert, Julian and Kaliszyk, Cezary}, title = {A study of continuous vector representations for theorem proving}, journal = {Journal of Logic and Computation}, month = {02}, year = {2021}, issn = {0955-792X}, doi = {10.1093/logcom/exab006}, url = {https://doi.org/10.1093/logcom/exab006},}