Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic.

Terufumi Morishita Gaku Morio Atsuki Yamaguchi Yasuhiro Sogawa

Published in: ICML (2023)

Keyphrases

learning process
deductive reasoning
artificial intelligence
natural language
online learning
deductive databases