Terms for Efficient Proof Checking and Parsing.

Michael Färber

Published in: CPP (2023)

Keyphrases

lightweight
cost effective
data sets
databases
neural network
database systems
search algorithm
co occurrence
text classification
computationally expensive