None defined yet.
LeanPolish: Verified Supervision for Lean Proof Compression
Listening Forward: Next Patch Embedding Prediction Enables Scalable Audio Learners