-
Buffer of Thoughts
Buffer of Thoughts is a novel and versatile thought-augmented reasoning approach for enhancing accuracy, efficiency and robustness of large language models (LLMs). -
NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an...
NAIVE is a low-level knowledge representation language and inferencing process for reasoning about nondeterministic dynamic systems like those found in medicine. -
Kinship dataset
The Kinship dataset is used for relation discovery and reasoning tasks. Given a set of examples about relations, the model infers the direct relation between two people and... -
DNA promoter dataset
The DNA promoter dataset consist of a background theory with 14 logical if-then rules. The rules includes four symbols contact, minus10, minus35, conf ormation which are not...
