Formal Logic Deduction

Formal Logic Deduction (FLD) is a project to teach language models deductive reasoning using synthetically generated examples based on formal logic theory. FLD project originates from the paper Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic (ICML2023).

[!] News

We released a Japanese logical benchmark JFLD. Please check this out!!.

What's good?

FLD serves as ...

• 👊 A Challenging Benchmark for Logical Reasoning: FLD assesses (i) pure reasoning isolated from knowledge, and (ii) diverse reasoning patterns. Indeed, even GPT-4 can solve only about half of the problems.
• 🎓 A Foundation for Learning Logical Reasoning: The FLD corpus teaches the fundamentals of logic, adopting a well-grounded set of atomic deduction rules based on formal logic theory.
• 🚀 A Basis for Future Experimental Studies: It encompasses several toolkits as listed below, paving the way for innovative research.

Contents

• You can use the corpora via 🤗 huggingface hub. See here.
• You can evaluate various LLMs, such as GPT-4 and Llama, by using lm-evlauation-harness or our evaluation scripts.
• You can fine-tune language models on FLD corpora. You can either use a logical-reasoning framework LogiTorch/logitorch, or our training scripts.
• You can generate corpora with your own setting using our corpus generator.

Publications

海外

• "JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic", LREC-COLING, 2024
• "Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic", ICML, 2023

国内

• 「帰納的に多様な巨大論理推論コーパスによりLLMの汎用論理推論能力を向上させる」, 人工知能学会, 2024
• 「日本語論理推論ベンチマークJFLDの提案」, 言語処理学会, 2024
• 「言語モデルの論理推論能力を大きく改善、日立が学習用コーパスの自動生成技術」, 日経ロボティクス, 2024/01
• 「人工演繹推論コーパスによる学習は言語モデルをどのように強化するか？」, 人工知能学会, 2023
• 「形式論理学に基づく演繹コーパスによる言語モデルに対する演繹推論能力の付与」, 言語処理学会, 2023

Contact

For any reason where a GitHub pull request or an issue is not appropriate, feel free to email terufumi.morishita.wp[at]hitachi.com.

Citation

@inproceedings{morishita2024jfld,
  title = {JFLD: A Japanese Benchmark for Deductive Reasoning based on Formal Logic},
  author = {Morishita, Terufumi and Yamaguchi, Atsuki and Morio, Gaku and Hikaru, Tomonari and Osamu Imaichi and Sogawa, Yasuhiro},
  booktitle = {Proceedings of the Joint International Conference on Computational Linguistics, Language Resources and Evaluation},
  year = {2024}
}

@inproceedings{morishita2023fld,
  title = {Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic},
  author = {Morishita, Terufumi and Morio, Gaku and Yamaguchi, Atsuki and Sogawa, Yasuhiro},
  booktitle = {Proceedings of the 40th International Conference on Machine Learning},
  year = {2023}
}