Ryo Kamoi

ryokamoi's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published 2 models 6 days ago

ryokamoi/Qwen-2.5-7B-FoVer-PRM-2026

Text Generation • 8B • Updated 6 days ago • 170

ryokamoi/Llama-3.1-8B-FoVer-PRM-2026

Text Generation • 8B • Updated 6 days ago • 170

updated a collection 6 days ago

FoVer

Collection

Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools. • 3 items • Updated 6 days ago • 1

updated 4 models 6 days ago

ryokamoi/Qwen-2.5-7B-FoVer-PRM-2026

Text Generation • 8B • Updated 6 days ago • 170

ryokamoi/Llama-3.1-8B-FoVer-PRM-2026

Text Generation • 8B • Updated 6 days ago • 170

ryokamoi/Llama-3.1-8B-FoVer-PRM-old

Text Generation • 8B • Updated 6 days ago • 307

ryokamoi/Qwen-2.5-7B-FoVer-PRM-old

Text Generation • 8B • Updated 6 days ago • 297 • 1

updated 7 datasets 6 days ago

ryokamoi/FoVer-FormalLogic-Llama-3.1-8B

Viewer • Updated 6 days ago • 10.7k • 70

ryokamoi/FoVer-FormalLogic-Qwen-2.5-7B

Viewer • Updated 6 days ago • 10.7k • 61

ryokamoi/FoVer-FormalProof-Llama-3.1-8B

Viewer • Updated 6 days ago • 10.7k • 66

ryokamoi/FoVer-FormalProof-Qwen-2.5-7B

Viewer • Updated 6 days ago • 10.7k • 74

ryokamoi/FoVer-FormalLogic-FormalProof-Llama-3.1-8B-LastStepBalanced-40k

Viewer • Updated 6 days ago • 40k • 55

ryokamoi/FoVer-FormalLogic-FormalProof-Qwen-2.5-7B-LastStepBalanced-40k

Viewer • Updated 6 days ago • 40k • 79

ryokamoi/FoVer-misc

Updated 6 days ago • 70

upvoted a paper about 2 months ago

QuantLRM: Quantization of Large Reasoning Models via Fine-Tuning Signals

Paper • 2602.02581 • Published Jan 31 • 10

updated a collection 9 months ago

VisOnlyQA

Collection

Dataset for evaluating the visual perception capabilities of LVLMs. • 12 items • Updated Mar 2 • 4