Login / Signup
GPTs at Factify 2022: Prompt Aided Fact-Verification.
Pawan Kumar Sahu
Saksham Aggarwal
Taneesh Gupta
Gyanendra Das
Published in:
CoRR (2022)
Keyphrases
</>
model checking
neural network
computer vision
database
formal analysis
machine learning
knowledge base
case study
bayesian networks
multiscale
formal verification