A Simple and Efficient Framework of Proof Systems for NP.

Yuyu Wang Chuanjie Su Jiaxin Pan Yu Chen

Published in: ASIACRYPT (2) (2023)

Keyphrases

lightweight
main contribution
complex systems
data sets
databases
machine learning
computer vision
computationally efficient
real time
search engine
multiscale
probabilistic model
knowledge based systems
computational model
bayesian framework