Symbolic Reasoning for Automatic Signal Placement.

Kostas Ferles Jacob Van Geffen Isil Dillig Yannis Smaragdakis

Published in: ACM SIGOPS Oper. Syst. Rev. (2020)

Keyphrases

symbolic reasoning
symbolic representation
production rules
data sets
neural network
video sequences
logic programs
error rate