Reasoning Core

university

https://github.com/sileod/reasoning_core/

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 5 hours ago

reasoning-core/symbolic-pretraining-pile

sileod submitted a paper 4 days ago

MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts

sileod published a dataset about 2 months ago

reasoning-core/symbolic-pretraining-pile

View all activity

reasoning-core 's datasets 4

reasoning-core/symbolic-pretraining-pile

Viewer • Updated about 5 hours ago • 2.85M • 294 • 2

reasoning-core/rg1

Viewer • Updated Oct 23, 2025 • 10.5k • 7

reasoning-core/rc1

Viewer • Updated Sep 25, 2025 • 172k • 204 • 13

reasoning-core/tptp_math_reasoning

Viewer • Updated Sep 18, 2025 • 11.6k • 18 • 1