Scientific Claim Verification with VERT5ERINI.

Ronak Pradeep Xueguang Ma Rodrigo Nogueira Jimmy Lin

Published in: CoRR (2020)

Keyphrases

model checking
scientific data
data mining
formal analysis
neural network
functional verification
concurrent systems
temporal logic
life sciences
formal methods
case study
science learning
signature verification
formal verification
scientific discovery
asynchronous circuits
website
databases