Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning. - Valentin Lacombe; Valentin Quesnel; Damien Sileo (CoRR, 2025)