Reasoning Core

reasoning-core's activity

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

sileod 

updated 2 datasets 1 day ago

reasoning-core/staging

Viewer • Updated 1 day ago • 67.9M • 3.71k • 4

reasoning-core/procedural-pile

RL Environment • Updated 1 day ago • 24.8M • 1.73k • 10

sileod 

updated a Space 2 days ago

Sleeping

RL

Reasoning Core Environment Server

🧠

Interact with a reasoning agent via text

sileod 

updated a dataset 9 days ago

reasoning-core/symbolic-reasoning-env

Viewer • Updated 9 days ago • 695k • 686 • 14

sileod 

updated 2 datasets 2 months ago

reasoning-core/procedural-warmup

Viewer • Updated Jul 28 • 1.35M • 71

reasoning-core/synlogic

Viewer • Updated Jul 28 • 335k • 76

sileod 

updated a collection 3 months ago

datasets

Collection

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

sileod 

published a dataset 3 months ago

reasoning-core/synlogic

Viewer • Updated Jul 28 • 335k • 76

sileod 

updated a collection 3 months ago

datasets

Collection

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

sileod 

updated a dataset 4 months ago

reasoning-core/reasoning-gym

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

sileod 

authored 6 papers 7 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 7 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 8 months ago

MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts

Paper • 2601.18790 • Published Jan 26 • 2

sileod 

authored a paper about 1 year ago

Humanity's Last Exam

Paper • 2501.14249 • Published Jul 28 • 79

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