ExClaim: Explainable Neural Claim Verification Using Rationalization.

Sai Gurrapu Lifu Huang Feras A. Batarseh

Published in: CoRR (2023)

Keyphrases

network architecture
neural network
model checking
formal verification
verification method
signature verification
neural model
bio inspired
formal analysis
face verification
real time
biologically inspired
information retrieval
formal methods
search algorithm
multiscale
spiking neurons
data sets