ProoFVer: Natural Logic Theorem Proving for Fact Verification.
Amrith KrishnaSebastian RiedelAndreas VlachosPublished in: Trans. Assoc. Comput. Linguistics (2022)
Keyphrases
- theorem proving
- automated reasoning
- proof procedure
- logical inference
- automated theorem proving
- proof search
- predicate calculus
- first order logic
- asynchronous circuits
- theorem prover
- natural deduction
- inference rules
- proof planning
- decision procedures
- term rewriting
- automated deduction
- automatic programming
- parallel search
- verification method
- consequence finding
- geometry theorem proving
- classical logic
- modal logic
- model checking
- logic programming
- data mining
- predicate logic
- logical framework
- reasoning tasks
- simulated annealing