Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.
Zhongye WangQinxiang CaoYichen TaoPublished in: CoRR (2023)
Keyphrases
- logical rules
- natural language processing
- logic programming
- derivation rules
- association rules
- proof theoretic
- proof theory
- data embedding
- imperative programs
- knowledge base
- cut elimination
- declarative semantics
- nonlinear dimensionality reduction
- horn clauses
- data hiding
- modal logic
- classification rules
- vector space
- high dimensional