ruotian peng

ruotian peng on Hugging Face Daily Papers: 2 papers, 0 in the top 3 of their day, 46 upvotes.

1. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models 27 upvotes, #7 of 2025-05-06
2. Openstory++: A Large-scale Dataset and Benchmark for Instance-aware Open-domain Visual Storytelling 10 upvotes, #6 of 2024-08-08

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.