Add paper 'Learning Deductive Reasoning from Synthetic Corpus based o…#14

Closed

MorishT wants to merge 1 commit intojeffhj:mainfrom MorishT:formal_logic_deduction

+4

Commits on Nov 13, 2023

Add paper 'Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic'
MorishT
committed