mirror of
https://github.com/open-thought/reasoning-gym.git
synced 2026-04-22 16:49:06 +00:00
20 lines
520 B
Python
20 lines
520 B
Python
"""
|
|
Logic tasks for training reasoning capabilities:
|
|
- Propositional logic
|
|
- Predicate logic
|
|
- Set theory
|
|
- Syllogisms
|
|
"""
|
|
|
|
from .propositional_logic import PropositionalLogicConfig, PropositionalLogicDataset, propositional_logic_dataset
|
|
from .syllogisms import SyllogismConfig, SyllogismDataset, Term, syllogism_dataset
|
|
|
|
__all__ = [
|
|
"PropositionalLogicConfig",
|
|
"PropositionalLogicDataset",
|
|
"propositional_logic_dataset",
|
|
"SyllogismConfig",
|
|
"SyllogismDataset",
|
|
"syllogism_dataset",
|
|
"Term",
|
|
]
|