reasoning-gym/reasoning_gym/logic/__init__.py

29 lines
866 B
Python

"""
Logic tasks for training reasoning capabilities.
"""
from .aiw import AliceInWonderlandConfig, AliceInWonderlandDataset
from .circuit_logic import CircuitLogicConfig, CircuitLogicDataset
from .self_reference import SelfReferenceConfig, SelfReferenceDataset
from .syllogisms import SyllogismConfig, SyllogismDataset, Term
from .zebra_puzzles import ZebraConfig, ZebraDataset
# from .propositional_logic import PropositionalLogicConfig, PropositionalLogicDataset
__all__ = [
"AliceInWonderlandConfig",
"AliceInWonderlandDataset",
# "PropositionalLogicConfig",
# "PropositionalLogicDataset",
"SyllogismConfig",
"SyllogismDataset",
"syllogism_dataset",
"Term",
"ZebraConfig",
"ZebraDataset",
"SelfReference",
"SelfReferenceConfig",
"SelfReferenceDataset",
"CircuitLogicConfig",
"CircuitLogicDataset",
]