A study of continuous vector representations for theorem proving
Stanisław Purgał, Julian Parsert, Cezary KaliszykJournal of Logic and Computation pp. 27, 2021.
Abstract
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},
}
Open Access