C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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