FLD (Formal Logic Deduction)
Introduced by Morishita et al. in Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
A deductive reasoning benchmark based on formal logic theory. A model is required to generate a proof that (dis-) proves a given hypothesis based on a given set of facts.
Papers
| Paper | Code | Results | Date | Stars |
|---|
Dataset Loaders
No data loaders found. You can
submit your data loader here.
No data loaders found. You can
submit your data loader here.
