A Natural Formalized Proof Language.

Lihan Xie Zhicheng Hui Qinxiang Cao

Published in: CoRR (2024)

Keyphrases

natural language
programming language
language learning
real world
theorem prover
theorem proving
proof theory
conceptual graphs
english language
information retrieval
multiscale
general purpose
language processing
computational linguistics
specification language
linguistic knowledge