Reasoning Core

reasoning-core's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

sileod 

updated a dataset 3 days ago

reasoning-core/procedural-pile

Viewer • Updated 3 days ago • 30.2M • 3.19k • 8

sileod 

updated 2 datasets 6 days ago

reasoning-core/procedural-warmup

Viewer • Updated 6 days ago • 1.35M • 735

reasoning-core/synlogic

Viewer • Updated 6 days ago • 335k • 88

sileod 

updated a dataset 11 days ago

reasoning-core/staging

Viewer • Updated 10 days ago • 87.4M • 4.33k • 4

sileod 

updated a collection 17 days ago

datasets

Collection

Reasoning Core ◉ Pre-generated symbolic reasoning data, from pre-training pile to post-training environments • 7 items • Updated 17 days ago • 4

sileod 

published a dataset 17 days ago

reasoning-core/synlogic

Viewer • Updated 6 days ago • 335k • 88

sileod 

updated a collection 19 days ago

datasets

Collection

Reasoning Core ◉ Pre-generated symbolic reasoning data, from pre-training pile to post-training environments • 7 items • Updated 17 days ago • 4

sileod 

updated a dataset about 2 months ago

reasoning-core/reasoning-gym

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

sileod 

updated a dataset 2 months ago

reasoning-core/symbolic-reasoning-env

Viewer • Updated Jun 3 • 695k • 349 • 14

sileod 

published a dataset 3 months ago

reasoning-core/procedural-warmup

Viewer • Updated 6 days ago • 1.35M • 735

sileod 

authored 6 papers 5 months ago

Bridging the Data Provenance Gap Across Text, Speech and Video

Paper • 2412.17847 • Published Dec 19, 2024 • 13

Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem

Paper • 2509.06809 • Published Sep 8, 2025 • 3

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning

Paper • 2509.18083 • Published Sep 22, 2025 • 5

MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts

Paper • 2601.18790 • Published Jan 26 • 2

Adaptive Text Anonymization: Learning Privacy-Utility Trade-offs via Prompt Optimization

Paper • 2602.20743 • Published Feb 24 • 2

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

Paper • 2603.02208 • Published Mar 2 • 4

sileod 

submitted a paper to Daily Papers 5 months ago

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

Paper • 2603.02208 • Published Mar 2 • 4

sileod 

submitted a paper to Daily Papers 6 months ago

MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts

Paper • 2601.18790 • Published Jan 26 • 2

sileod 

authored a paper 11 months ago

Humanity's Last Exam

Paper • 2501.14249 • Published Jan 24, 2025 • 78

sileod 

authored a paper about 2 years ago

TAROT: Task-Oriented Authorship Obfuscation Using Policy Optimization Methods

Paper • 2407.21630 • Published Jul 31, 2024 • 8