Mohsen

harimo

3

·

https://mohsenhariri.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

upvoted a paper about 1 month ago

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

authored a paper 2 months ago

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

View all activity

Organizations

harimo 's papers 6

arxiv:2608.04001

arxiv:2510.04265

arxiv:2603.14103

arxiv:2603.10960

arxiv:2502.15075

arxiv:2403.00108