ImperialCollegeLondon/health_fact
Updated • 1.85k • 28
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
LeanPolish: Verified Supervision for Lean Proof Compression
Listening Forward: Next Patch Embedding Prediction Enables Scalable Audio Learners
Organization Card
Users with a verified email ending in imperial.ac.uk are welcome to join.
models 0
None public yet