IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning.

Zihang Xu Ziqing Yang Yiming Cui Shijin Wang

Published in: CoRR (2023)

Keyphrases

logical reasoning
formal semantics
test set
training process
logic programming
training algorithm
multi valued
databases
machine learning
learning algorithm
software engineering
logical framework
asynchronous circuits