Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
sileod  updated a dataset about 12 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 models

None public yet