Approximate Automatic Verification and Formal Language Processing.

Weijun Zhu Yang Liu

Published in: ACM TUR-C (2023)

Keyphrases

language processing
natural language processing
human language technology
human language
machine translation
natural language
knowledge representation
language understanding
grammar induction
lexical information
formal specification
formal model
spoken language
information retrieval
mathematical theory