Marco Zocca

ocramz's activity

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

upvoted a paper 2 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published 12 days ago • 27

upvoted 2 collections 10 months ago

🔍 Interpretability & Analysis of LMs

Collection

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

MIB Datasets

Collection

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