Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen Zhengyao Lin Minh-Thai Trinh Grigore Rosu

Published in: CAV (2) (2021)

Keyphrases

main contribution
data sets
databases
computer vision
decision trees
natural language
programming language
database
neural network
real world
search engine
social networks
information systems
probabilistic model
context dependent
strongly typed