Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding.

Zhongye Wang Qinxiang Cao Yichen Tao

Published in: J. Autom. Reason. (2024)

Keyphrases

business rules
derivation rules
vector space
nonlinear dimensionality reduction
natural language processing
watermarking algorithm
linear logic
information extraction
digital images
question answering
data hiding
classical logic
natural deduction
logical rules