├── .gitignore ├── LICENSE ├── README.md ├── pyproject.toml ├── reasoning_core ├── __init__.py ├── downstream_eval.py ├── environments │ └── reasoning_core_env │ │ ├── README.md │ │ ├── outputs │ │ └── evals │ │ │ └── reasoning-core-env--gpt-4.1-mini │ │ │ └── 19ee3b06 │ │ │ ├── metadata.json │ │ │ └── results.jsonl │ │ ├── pyproject.toml │ │ └── reasoning_core_env.py ├── generation_worker.py ├── resources │ └── axioms_filtered.json.gz ├── run_generate.sh ├── tasks │ ├── _logic_utils.py │ ├── _reasoning_gym.py │ ├── _sat_graph.py │ ├── arithmetics.py │ ├── causal_reasoning.py │ ├── equation_system.py │ ├── formal_maths.py │ ├── grammar.py │ ├── logic.py │ ├── planning.py │ ├── regex_following.py │ ├── sequential_induction.py │ └── set_operations.py ├── template.py └── utils │ ├── __init__.py │ └── udocker_process.py └── tests └── test_tasks.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/README.md -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/pyproject.toml -------------------------------------------------------------------------------- /reasoning_core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/__init__.py -------------------------------------------------------------------------------- /reasoning_core/downstream_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/downstream_eval.py -------------------------------------------------------------------------------- /reasoning_core/environments/reasoning_core_env/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/environments/reasoning_core_env/README.md -------------------------------------------------------------------------------- /reasoning_core/environments/reasoning_core_env/outputs/evals/reasoning-core-env--gpt-4.1-mini/19ee3b06/metadata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/environments/reasoning_core_env/outputs/evals/reasoning-core-env--gpt-4.1-mini/19ee3b06/metadata.json -------------------------------------------------------------------------------- /reasoning_core/environments/reasoning_core_env/outputs/evals/reasoning-core-env--gpt-4.1-mini/19ee3b06/results.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/environments/reasoning_core_env/outputs/evals/reasoning-core-env--gpt-4.1-mini/19ee3b06/results.jsonl -------------------------------------------------------------------------------- /reasoning_core/environments/reasoning_core_env/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/environments/reasoning_core_env/pyproject.toml -------------------------------------------------------------------------------- /reasoning_core/environments/reasoning_core_env/reasoning_core_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/environments/reasoning_core_env/reasoning_core_env.py -------------------------------------------------------------------------------- /reasoning_core/generation_worker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/generation_worker.py -------------------------------------------------------------------------------- /reasoning_core/resources/axioms_filtered.json.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/resources/axioms_filtered.json.gz -------------------------------------------------------------------------------- /reasoning_core/run_generate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/run_generate.sh -------------------------------------------------------------------------------- /reasoning_core/tasks/_logic_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/_logic_utils.py -------------------------------------------------------------------------------- /reasoning_core/tasks/_reasoning_gym.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/_reasoning_gym.py -------------------------------------------------------------------------------- /reasoning_core/tasks/_sat_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/_sat_graph.py -------------------------------------------------------------------------------- /reasoning_core/tasks/arithmetics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/arithmetics.py -------------------------------------------------------------------------------- /reasoning_core/tasks/causal_reasoning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/causal_reasoning.py -------------------------------------------------------------------------------- /reasoning_core/tasks/equation_system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/equation_system.py -------------------------------------------------------------------------------- /reasoning_core/tasks/formal_maths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/formal_maths.py -------------------------------------------------------------------------------- /reasoning_core/tasks/grammar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/grammar.py -------------------------------------------------------------------------------- /reasoning_core/tasks/logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/logic.py -------------------------------------------------------------------------------- /reasoning_core/tasks/planning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/planning.py -------------------------------------------------------------------------------- /reasoning_core/tasks/regex_following.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/regex_following.py -------------------------------------------------------------------------------- /reasoning_core/tasks/sequential_induction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/sequential_induction.py -------------------------------------------------------------------------------- /reasoning_core/tasks/set_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/tasks/set_operations.py -------------------------------------------------------------------------------- /reasoning_core/template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/template.py -------------------------------------------------------------------------------- /reasoning_core/utils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/utils/__init__.py -------------------------------------------------------------------------------- /reasoning_core/utils/udocker_process.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/reasoning_core/utils/udocker_process.py -------------------------------------------------------------------------------- /tests/test_tasks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sileod/reasoning_core/HEAD/tests/test_tasks.py --------------------------------------------------------------------------------