Reasoning Core

university

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

AI & ML interests

None defined yet.

Recent Activity

sileod updated a dataset about 20 hours ago

reasoning-core/tptp_math_reasoning

sileod updated a dataset about 20 hours ago

reasoning-core/rc1

sileod published a dataset 8 days ago

reasoning-core/tptp_math_reasoning

View all activity

models 0

None public yet

datasets 2

reasoning-core/tptp_math_reasoning

Viewer • Updated about 20 hours ago • 10.8k • 155 • 1

reasoning-core/rc1

Viewer • Updated about 20 hours ago • 156k • 312 • 2