Enduo Zhao

Enduo Zhao on Hugging Face Daily Papers: 3 papers, 1 in the top 3 of their day, 321 upvotes.

1. OProver: A Unified Framework for Agentic Formal Theorem Proving 30 upvotes, #10 of 2026-05-19
2. NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents 42 upvotes, #7 of 2025-12-16
3. Scaling Latent Reasoning via Looped Language Models 201 upvotes, #1 of 2025-10-30

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.