Proof of Comprehensive Performance.

Chenhe Zhang Xinle Cao Jian Liu Kui Ren

Published in: SBC@AsiaCCS (2021)

Keyphrases

theorem proving
information systems
data structure
theorem prover
neural network
machine learning
information retrieval
data streams
relational databases
multiresolution
management system
linear logic
proof search