Sidechains With Optimally Succinct Proof.

Lingyuan Yin Jing Xu Kaitai Liang Zhenfeng Zhang

Published in: IEEE Trans. Dependable Secur. Comput. (2024)

Keyphrases

theorem prover
theorem proving
data sets
linear logic
database
neural network
search engine
case study
image segmentation
search algorithm
artificial neural networks
proof theory
geometry theorem proving