Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • 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 1 day ago
reasoning-core/staging
sileod  updated a dataset 3 days ago
reasoning-core/synlogic
sileod  updated a collection 3 days ago
datasets
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 7

reasoning-core/staging

Viewer • Updated 1 day ago • 73.8M • 2.77k • 4

reasoning-core/synlogic

Viewer • Updated 3 days ago • 1.55M • 16

reasoning-core/procedural-pile

Viewer • Updated 6 days ago • 3.14M • 2.69k • 8

reasoning-core/reasoning-gym

Viewer • Updated Jun 5 • 1.37M • 255 • 1

reasoning-core/formal-reasoning-env

Viewer • Updated Jun 3 • 695k • 137 • 13

reasoning-core/procedural-warmup

Viewer • Updated May 13 • 7.59M • 383

reasoning-core/tptp_math_reasoning

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