Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 6 hours ago

reasoning-core/rc0

sileod published a dataset 8 days ago

reasoning-core/rc0

sileod updated a dataset 2 months ago

reasoning-core/rg1

View all activity

Collections 1

models 0

None public yet

datasets 4

reasoning-core/rc0

Viewer • Updated about 6 hours ago • 1.87M • 722 • 1

reasoning-core/rg1

Viewer • Updated Oct 23 • 10.5k • 32

reasoning-core/rc1

Viewer • Updated Sep 25 • 172k • 662 • 13

reasoning-core/tptp_math_reasoning

Viewer • Updated Sep 18 • 11.6k • 95 • 1