csitfun

LogiQA2.0. Logiqa2.0 dataset - logical reasoning in MRC and NLI tasks

LogiCoT. the instructions and demonstrations for building a formal logical reasoning capable GLM

LogiEval. a benchmark suite for testing logical reasoning abilities of prompt-based models

GLoRE. a benckmark for evaluating logical reasoning of LLMs

llm. 大模型入门

ConTRoL-dataset. Dataset for AAAI paper "Natural Language Inference in Context - Investigating Contextual Reasoning over Long Texts"

Awesome-Logical-Reasoning. Paper list for logical reasoning, a survey

logihard. code for the logihard framework

LogiQA2.0_Chinese. The Chinese version of LogiQA2.0

useful_functions. data processing useful functions