TruthQuest

A benchmark for suppositional reasoning based on the principles of knights and knaves puzzles. Knights and knaves problems represent a classic genre of logical puzzles where characters either tell the truth or lie. The objective is to logically deduce each character's identity based on their statements. The challenge arises from the truth-telling or lying behavior, which influences the logical implications of each statement.

TruthQuest encompasses problems of varying complexity, considering both the number of characters and the types of logical statements involved. The dataset comprises 2,400 instances. Each instance has a unique solution.