JEFL: Joint Embedding of Formal Proof Libraries.

Qingxiang Wang Cezary Kaliszyk

Published in: CoRR (2021)

Keyphrases

formal proof
theorem prover
digital libraries
vector space
multimedia
database
databases
data mining
information retrieval