Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset 17 days ago

reasoning-core/rc0

sileod published a dataset 25 days ago

reasoning-core/rc0

sileod updated a dataset about 2 months ago

reasoning-core/rg1

View all activity

Collections 1

models 0

None public yet

datasets 4

reasoning-core/rc0

Viewer • Updated 17 days ago • 260k • 458

reasoning-core/rg1

Viewer • Updated Oct 23 • 10.5k • 51

reasoning-core/rc1

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

reasoning-core/tptp_math_reasoning

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