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/rc1

sileod updated a dataset 2 days ago

reasoning-core/tptp_math_reasoning

sileod published a dataset 2 days ago

reasoning-core/tptp_math_reasoning

View all activity

reasoning-core 's datasets 2

reasoning-core/rc1

Viewer • Updated 1 day ago • 49.8k • 201 • 2

reasoning-core/tptp_math_reasoning

Viewer • Updated 2 days ago • 9.95k • 60 • 1