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

feat(env): Propositional Logic Curriculum (#365)

Browse source 
* propositional logic curriculum

* lint

* difficulty meta
This commit is contained in:
Zafir Stojanovski 2025-03-14 16:12:39 +01:00 • committed by GitHub
parent 41f3ef876c
commit d33c667c3d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 85 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
reasoning_gym/logic/__init__.py
View file

@ -5,7 +5,7 @@ Logic tasks for training reasoning capabilities.
from .aiw import AliceInWonderlandConfig, AliceInWonderlandCurriculum, AliceInWonderlandDataset
from .circuit_logic import CircuitLogicConfig, CircuitLogicDataset
from .knights_knaves import KnightsKnavesConfig, KnightsKnavesDataset
from .propositional_logic import PropositionalLogicConfig, PropositionalLogicDataset
from .propositional_logic import PropositionalLogicConfig, PropositionalLogicCurriculum, PropositionalLogicDataset
from .self_reference import SelfReferenceConfig, SelfReferenceCurriculum, SelfReferenceDataset
from .syllogisms import SyllogismConfig, SyllogismDataset
from .zebra_puzzles import ZebraConfig, ZebraCurriculum, ZebraDataset
@ -16,6 +16,7 @@ __all__ = [
"AliceInWonderlandDataset",
"PropositionalLogicConfig",
"PropositionalLogicDataset",
"PropositionalLogicCurriculum",
"SyllogismConfig",
"SyllogismDataset",
"syllogism_dataset",