FLD
Formal Logic Deduction
TextsCC-BY-4.0 licenseIntroduced 2023-08-11
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.
Formal Logic Deduction
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.