open-thought/reasoning-gym
1
0
Fork 0
mirror of https://github.com/open-thought/reasoning-gym.git synced 2026-04-27 17:23:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add KnightsKnavesDataset (knights_knaves)

Browse source 
Adapted code from https://github.com/AlphaPav/mem-kk-logic/blob/main/data_prep/lib_kk.py

---------

Co-authored-by: Andreas Koepf (aider) <andreas.koepf@provisio.com>
This commit is contained in:
vncntt 2025-02-25 11:15:38 -08:00 • committed by GitHub
parent ed9292a7f4
commit 5f01049607
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 678 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
reasoning_gym/logic/__init__.py
View file

@ -4,6 +4,7 @@ Logic tasks for training reasoning capabilities.
from .aiw import AliceInWonderlandConfig, AliceInWonderlandDataset
from .circuit_logic import CircuitLogicConfig, CircuitLogicDataset
from .knights_knaves import KnightsKnavesConfig, KnightsKnavesDataset
from .propositional_logic import PropositionalLogicConfig, PropositionalLogicDataset
from .self_reference import SelfReferenceConfig, SelfReferenceDataset
from .syllogisms import SyllogismConfig, SyllogismDataset
@ -24,4 +25,6 @@ __all__ = [
"SelfReferenceDataset",
"CircuitLogicConfig",
"CircuitLogicDataset",
"KnightsKnavesConfig",
"KnightsKnavesDataset",
]