Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
sileod  authored a paper 4 days ago
Bridging the Data Provenance Gap Across Text, Speech and Video
sileod  authored a paper 4 days ago
Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem
sileod  authored a paper 4 days ago
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
View all activity

Papers

Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training

View all Papers

reasoning-core 's datasets 4