Marco Zocca

ocramz's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted an article 8 days ago

view article

Article

Hyperparameter optimisation with Optuna and Claude Code on Hugging Face Jobs

• 

Dec 13, 2025

•

3

upvoted a paper 28 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29

upvoted a collection 10 months ago

🔍 Interpretability & Analysis of LMs

Collection

Outstanding research in LM interpretability and evaluation, summarized • 135 items • Updated Dec 18, 2025 • 120

upvoted a collection 11 months ago

MIB Datasets

Collection

The tasks and counterfactuals from the Mechanistic Interpretability Benchmark. • 7 items • Updated Apr 16, 2025 • 5