A study of continuous vector representations for theorem proving

DOI10.1093/LOGCOM/EXAB006OpenAlexW3129060090WikidataQ108482097 ScholiaQ108482097MaRDI QIDQ5019287

Cezary Kaliszyk, Julian Parsert, Stanisław Purgał

Publication date: 3 January 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.09142

zbMATH Keywords

theorem provingMizarpremise selectionautoencoding

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: A study of continuous vector representations for theorem proving