Mohsen

harimo's activity

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

upvoted a paper 4 days ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Paper • 2611.02332 • Published 5 days ago • 13

upvoted a paper about 1 month ago

Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation

Paper • 2510.04265 • Published May 12 • 1

upvoted a paper 6 months ago

Ranking Reasoning LLMs under Test-Time Scaling

Paper • 2603.10960 • Published Mar 11 • 1