Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic.

Terufumi Morishita Gaku Morio Atsuki Yamaguchi Yasuhiro Sogawa

Published in: CoRR (2023)

Keyphrases

formal logic
learning process
learning systems
deductive reasoning
online learning
predicate logic
case study
higher level
intrusion detection