Ke Zhang

Ke Zhang on Hugging Face Daily Papers: 2 papers, 0 in the top 3 of their day, 12 upvotes.

1. Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy 3 upvotes, #57 of 2026-10-22
2. Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization 9 upvotes, #46 of 2026-10-21

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.