Ryo Kamoi

Ryo Kamoi on Hugging Face Daily Papers: 4 papers, 0 in the top 3 of their day, 36 upvotes.

1. Training Step-Level Reasoning Verifiers with Formal Verification Tools 7 upvotes, #33 of 2025-05-23
2. GReaTer: Gradients over Reasoning Makes Smaller Language Models Strong Prompt Optimizers 5 upvotes, #15 of 2024-12-16
3. VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information 7 upvotes, #20 of 2024-12-03
4. AAAR-1.0: Assessing AI's Potential to Assist Research 13 upvotes, #10 of 2024-11-01

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.