0

Reasoning Core Env

Fresh

Formally verifiable reasoning on general symbolic domains (planning, logic, math...) with procedurally generated data.

Type
RL Env
Capabilities
MathPlanningLogic
Runtime
single-turn
License
unknown
Size
v1.0.5
Published
Jun 2026

Cite

Notes

Only stored in your browser.

Hub: reasoning-core/reasoning-core-env · v1.0.5 · team Task: single-turn · Parser: XMLParser Tags: symbolic train reasoning math logic planning syntax

Install

prime env install reasoning-core/reasoning-core-env
# or via pip:
uv pip install reasoning-core-env --extra-index-url https://hub.primeintellect.ai/reasoning-core/simple/

Dependencies

verifiers>=0.1.4, reasoning-core>=0.1.15, reasoning-gym

Python: >=3.11

Provenance