Exploring an LM to generate Prolog Predicates from Mathematics Questions.
Xiaocheng YangYik-Cheung TamPublished in: CoRR (2023)
Keyphrases
- horn clauses
- language model
- logic programming
- automatically generate
- real time
- automatically generating
- language modeling
- logic programs
- general purpose
- artificial intelligence
- database
- co occurrence
- knowledge representation
- high level
- neural network
- subject matter
- answer questions
- logic programming language
- functional programming