Wenlei Shi

Wenlei Shi on Hugging Face Daily Papers: 2 papers, 1 in the top 3 of their day, 147 upvotes.

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving 103 upvotes, #1 of 2025-08-01
2. Heimdall: test-time scaling on the generative verification 32 upvotes, #5 of 2025-04-16

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.