JEFL: Joint Embedding of Formal Proof Libraries.

Qingxiang Wang Cezary Kaliszyk

Published in: FroCoS (2021)

Keyphrases

formal proof
theorem prover
multimedia
signal processing
digital libraries
real time
neural network
data mining
genetic algorithm
first order logic
multidimensional scaling
information hiding
nonlinear dimensionality reduction