Failure Localization Capability: Theorem Proof and Evaluation.

Liang Ma Ting He Ananthram Swami Don Towsley Kin K. Leung

Published in: CoRR (2020)

Keyphrases

interactive theorem proving
evaluation method
information systems
accurate localization
neural network
search engine
computer vision
knowledge base
website
gold standard
comparative evaluation
xml retrieval