AI & ML interests
None defined yet.
Recent Activity
Papers
LeanPolish: Verified Supervision for Lean Proof Compression
Listening Forward: Next Patch Embedding Prediction Enables Scalable Audio Learners
ImperialCollegeLondon 's models
None public yet