Reasoning Core

university

https://github.com/sileod/reasoning_core/

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 12 hours ago

reasoning-core/basic-procedural

sileod published a dataset about 12 hours ago

reasoning-core/basic-procedural

sileod updated a dataset 5 days ago

reasoning-core/procedural-pretraining-pile

View all activity

Papers

Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training

View all Papers

reasoning-core 's datasets 6

reasoning-core/basic-procedural

Viewer • Updated about 12 hours ago • 10M

reasoning-core/procedural-pretraining-pile

Viewer • Updated 5 days ago • 18M • 3.83k • 4

reasoning-core/staging

Viewer • Updated 6 days ago • 20.3M • 1.17k • 1

reasoning-core/formal-reasoning-env

Viewer • Updated 7 days ago • 113k • 307 • 13

reasoning-core/reasoning-gym

Viewer • Updated Mar 2 • 890k • 207

reasoning-core/tptp_math_reasoning

Viewer • Updated Sep 18, 2025 • 11.6k • 11 • 1