👋 Open to Work

Mihai Perdum

Mihai-LeanZero

·

https://leanzero.net/overview

AI & ML interests

None yet

Recent Activity

updated a dataset about 20 hours ago

Mihai-LeanZero/leanzero-agentic-benchmarks

updated a Space 11 days ago

Mihai-LeanZero/leanzero-agentic-leaderboard

published a Space 12 days ago

Mihai-LeanZero/leanzero-agentic-leaderboard

View all activity

Organizations

None yet

Mihai-LeanZero 's datasets 1

Mihai-LeanZero/leanzero-agentic-benchmarks

Viewer • Updated about 20 hours ago • 115 • 350 • 1