Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Reasoning Core

university
https://github.com/sileod/reasoning_core/
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

sileod  updated a dataset 2 days ago
reasoning-core/symbolic-pretraining-pile
sileod  updated a dataset 3 days ago
reasoning-core/staging
sileod  published a dataset 17 days ago
reasoning-core/staging
View all activity

Papers

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

View all Papers

Damien Sileo's profile picture

reasoning-core 's datasets 5

reasoning-core/symbolic-pretraining-pile

Viewer • Updated 2 days ago • 16.2M • 215 • 2

reasoning-core/staging

Viewer • Updated 3 days ago • 25.3M • 629

reasoning-core/symbolic-reasoning-env

Viewer • Updated 23 days ago • 2.03M • 281 • 13

reasoning-core/reasoning_gym

Viewer • Updated 24 days ago • 890k • 15

reasoning-core/tptp_math_reasoning

Viewer • Updated Sep 18, 2025 • 11.6k • 48 • 1
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs