Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 6 hours ago

reasoning-core/formal-reasoning-env

sileod updated a dataset 1 day ago

reasoning-core/staging

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 5

reasoning-core/formal-reasoning-env

Viewer • Updated about 6 hours ago • 113k • 252 • 13

reasoning-core/staging

Viewer • Updated about 23 hours ago • 4.85M • 1.02k

reasoning-core/procedural-pretraining-pile

Viewer • Updated 6 days ago • 17M • 1.81k • 4

reasoning-core/reasoning-gym

Viewer • Updated Mar 2 • 890k • 65

reasoning-core/tptp_math_reasoning

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