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

Refactor Curriculum Attributes (#335)

Browse source 
* remove min_value from AttributeDefinition
* remove type from AttributeDefinition
* Add CurriculumContext
* add ensure_interval option for RangeAttributes
* docs: Add legend explaining curriculum indicators in dataset gallery
* update GALLERY.md
This commit is contained in:
Andreas Köpf 2025-03-16 15:40:28 +01:00 • committed by GitHub
parent 4e7d9296ee
commit d2c895f1d3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
101 changed files with 286 additions and 677 deletions
Download patch file Download diff file Expand all files Collapse all files

11
reasoning_gym/logic/propositional_logic.py
View file

@ -6,7 +6,7 @@ from enum import StrEnum
from random import Random
from typing import Any, Optional
from ..coaching import AttributeType, BaseCurriculum, RangeAttributeDefinition
from ..coaching import BaseCurriculum, RangeAttributeDefinition
from ..factory import ProceduralDataset, register_dataset
@ -346,30 +346,21 @@ class PropositionalLogicCurriculum(BaseCurriculum):
RangeAttributeDefinition(
name="vars",
levels=[2, 4, 6, 8, 10],
default_level=0,
description="Number of variables in the logical expressions",
attr_type=AttributeType.APPEND,
min_value=2,
lower_field_name="min_vars",
upper_field_name="max_vars",
),
RangeAttributeDefinition(
name="statements",
levels=[2, 4, 6, 8, 10],
default_level=0,
description="Number of premises in the logical expressions",
attr_type=AttributeType.APPEND,
min_value=2,
lower_field_name="min_statements",
upper_field_name="max_statements",
),
RangeAttributeDefinition(
name="complexity",
levels=[1, 2, 3, 4, 5],
default_level=0,
description="Complexity of the logical expressions",
attr_type=AttributeType.APPEND,
min_value=1,
lower_field_name="min_complexity",
upper_field_name="max_complexity",
),