Yutong Wu

Yutong Wu on Hugging Face Daily Papers: 3 papers, 0 in the top 3 of their day, 30 upvotes.

1. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion 8 upvotes, #18 of 2025-08-07
2. CodeV-R1: Reasoning-Enhanced Verilog Generation 8 upvotes, #25 of 2025-06-03
3. InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct 8 upvotes, #8 of 2024-07-09

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.