IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning.
Zihang XuZiqing YangYiming CuiShijin WangPublished in: ACL (Findings) (2023)
Keyphrases
- logical reasoning
- formal semantics
- training set
- online learning
- logic programming
- training examples
- modal logic
- training process
- training phase
- classical logic
- logical framework
- test set
- quality indicators
- automated reasoning
- database
- supervised learning
- artificial intelligence
- genetic algorithm
- machine learning
- neural network