FLD
Formal Logic Deduction
홈페이지 · 논문 5편
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.
Texts English홈페이지 · 논문 5편
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.
Texts English