Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 10 hours ago

reasoning-core/basic-procedural

sileod published a dataset about 10 hours ago

reasoning-core/basic-procedural

sileod updated a dataset 6 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 10 hours ago • 7.59M

reasoning-core/procedural-pretraining-pile

Viewer • Updated 6 days ago • 18M • 4.23k • 4

reasoning-core/staging

Viewer • Updated 6 days ago • 20.3M • 854 • 1

reasoning-core/formal-reasoning-env

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

reasoning-core/reasoning-gym

Viewer • Updated Mar 2 • 890k • 351

reasoning-core/tptp_math_reasoning

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