A Natural Formalized Proof Language.

Lihan Xie Zhicheng Hui Qinxiang Cao

Published in: TASE (2024)

Keyphrases

natural language
language learning
programming language
theorem prover
language processing
hidden markov models
operational semantics
artificial systems
linear logic
real world
multi agent systems
object oriented
conceptual graphs
computer programs
object oriented programming
proof search