mirror of
https://github.com/open-thought/reasoning-gym.git
synced 2026-04-19 12:58:07 +00:00
11 lines
338 B
Python
11 lines
338 B
Python
"""
|
|
Logic tasks for training reasoning capabilities:
|
|
- Propositional logic
|
|
- Predicate logic
|
|
- Set theory
|
|
- Syllogisms
|
|
"""
|
|
|
|
from .propositional_logic import PropositionalLogicConfig, PropositionalLogicDataset, propositional_logic_dataset
|
|
|
|
__all__ = ["PropositionalLogicConfig", "PropositionalLogicDataset", "propositional_logic_dataset"]
|