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

fix(envs): Add source dataset and index to metadata (#388)

Browse source 
* add source dataset and index to metadata

* fix typo

* fix coach class and its test
This commit is contained in:
Zafir Stojanovski 2025-03-20 12:12:14 +01:00 • committed by GitHub
parent c6d01541aa
commit 4c47527130
104 changed files with 549 additions and 146 deletions
Download patch file Download diff file Expand all files Collapse all files

8
reasoning_gym/logic/propositional_logic.py
View file

@ -9,6 +9,8 @@ from typing import Any, Optional
from ..coaching import BaseCurriculum, RangeAttributeDefinition
from ..factory import ProceduralDataset, register_dataset
DATASET_NAME = "propositional_logic"
def parse_expr(expr: str):
expr = expr.strip()
@ -216,6 +218,8 @@ class PropositionalLogicDataset(ProceduralDataset):
"question": question,
"answer": None,
"metadata": {
"source_dataset": DATASET_NAME,
"source_index": idx,
"premises": [str(p) for p in premises],
"variables": variables,
"complexity": self._measure_complexity(conclusion),
@ -367,6 +371,4 @@ class PropositionalLogicCurriculum(BaseCurriculum):
)
register_dataset(
"propositional_logic", PropositionalLogicDataset, PropositionalLogicConfig, PropositionalLogicCurriculum
)
register_dataset(DATASET_NAME, PropositionalLogicDataset, PropositionalLogicConfig, PropositionalLogicCurriculum)