Verifier-Backed Hard Problem Generation for Mathematical Reasoning Paper • 2605.06660 • Published May 7 • 1
Step-Level Sparse Autoencoder for Reasoning Process Interpretation Paper • 2603.03031 • Published Mar 3