Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset 1 day ago

reasoning-core/symbolic-pretraining-pile

sileod submitted a paper 18 days ago

MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts

sileod published a dataset 2 months ago

reasoning-core/symbolic-pretraining-pile

View all activity

reasoning-core 's datasets 4

reasoning-core/symbolic-pretraining-pile

Viewer • Updated 1 day ago • 2.35M • 818 • 2

reasoning-core/rg1

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

reasoning-core/rc1

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

reasoning-core/tptp_math_reasoning

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