fxevangelinenyu/kk

Knights-and-Knaves (KK) Logic Dataset: RL dataset on Hugging Face. Procedurally generated Knights-and-Knaves logic puzzles, formatted for rule-based RL training/evaluation (verl-style schema). Each puzzle gives a set of inhabitants who are each either a knight (always tells the truth) or a knave…