ProoFVer: Natural Logic Theorem Proving for Fact Verification.
Amrith KrishnaSebastian RiedelAndreas VlachosPublished in: CoRR (2021)
Keyphrases
- theorem proving
- automated reasoning
- logical inference
- proof procedure
- proof search
- automated theorem proving
- predicate calculus
- natural deduction
- theorem prover
- decision procedures
- first order logic
- automated deduction
- inference rules
- term rewriting
- asynchronous circuits
- automatic programming
- proof planning
- parallel search
- geometry theorem proving
- modal logic
- consequence finding
- verification method
- combinatorial search
- model checking
- distributed search
- natural language
- logical framework
- simulated annealing
- supervised learning
- expert systems