Hugging Face's logo
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity
Doregan  new activity 4 days ago
ImperialCollegeLondon/OpenHeart:Add folds 0, 2, 3 and 4 of the HCM model
xhyumiracle  authored a paper 7 days ago
SUDP: Secret-Use Delegation Protocol for Agentic Systems
Doregan  new activity 10 days ago
ImperialCollegeLondon/OpenHeart:Add the HCM segmentation model (nnU-Net v2, 2d, fold 1)
View all activity

Papers

ABF-Bench: A Verifiable Benchmark for Agentic Blockchain Forensics

LeanPolish: Verified Supervision for Lean Proof Compression

View all Papers

ImperialCollegeLondon 's models 1