LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning Paper • 2603.21065 • Published Mar 22 • 78
Cognitive Foundations for Reasoning and Their Manifestation in LLMs Paper • 2511.16660 • Published Nov 20, 2025 • 11
Revisiting the Uniform Information Density Hypothesis in LLM Reasoning Traces Paper • 2510.06953 • Published Oct 8, 2025 • 9
In Their Own Words: Reasoning Traces Tailored for Small Models Make Them Better Reasoners Paper • 2509.22230 • Published Sep 26, 2025 • 6
STEM Datasets Collection Datasets to enhance LLMs capacity to answer STEM questions • 4 items • Updated Jun 12, 2024 • 1
