Roozbeh Mohit

Roozbeh Mohit on Hugging Face Daily Papers: 2 papers, 0 in the top 3 of their day, 10 upvotes.

1. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward 2 upvotes, #17 of 2025-11-17
2. Mathesis: Towards Formal Theorem Proving from Natural Languages 5 upvotes, #16 of 2025-06-11

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.