Formal Logic
11 papers with code • 1 benchmarks • 3 datasets
This task has no description! Would you like to contribute one?
Benchmarks
These leaderboards are used to track progress in Formal Logic
| Trend | Dataset | Best Model | Paper | Code | Compare |
|---|---|---|---|---|---|
|
BIG-bench
Mindgames
Most implemented papers
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
We rethink this and adopt a well-grounded set of deduction rules based on formal logic theory, which can derive any other deduction rules when combined in a multistep way.
