Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 21 hours ago

reasoning-core/procedural-pretraining-pile

sileod updated a dataset 1 day ago

reasoning-core/staging

sileod updated a dataset 2 days ago

reasoning-core/formal-reasoning-env

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 5

reasoning-core/procedural-pretraining-pile

Viewer • Updated about 21 hours ago • 18M • 2.47k • 4

reasoning-core/staging

Viewer • Updated 1 day ago • 20.3M • 1.12k • 1

reasoning-core/formal-reasoning-env

Viewer • Updated 2 days ago • 113k • 269 • 13

reasoning-core/reasoning-gym

Viewer • Updated Mar 2 • 890k • 106

reasoning-core/tptp_math_reasoning

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