Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools.
Ryo Kamoi
ryokamoi
AI & ML interests
NLP
Recent Activity
updated a model about 1 hour ago
ryokamoi/Llama-3.1-8B-FoVer-PRM-old updated a model about 1 hour ago
ryokamoi/Qwen-2.5-7B-FoVer-PRM-old updated a dataset about 1 hour ago
ryokamoi/FoVer-FormalLogic-Llama-3.1-8BOrganizations
Dataset for evaluating the visual perception capabilities of LVLMs.
-
VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information
Paper • 2412.00947 • Published • 8 -
ryokamoi/VisOnlyQA_Eval_Real_v1.1
Viewer • Updated • 900 • 147 -
ryokamoi/VisOnlyQA_Eval_Synthetic
Viewer • Updated • 700 • 133 • 2 -
ryokamoi/VisOnlyQA_Train
Viewer • Updated • 70k • 318 • 2
Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools.
Dataset for evaluating the visual perception capabilities of LVLMs.
-
VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information
Paper • 2412.00947 • Published • 8 -
ryokamoi/VisOnlyQA_Eval_Real_v1.1
Viewer • Updated • 900 • 147 -
ryokamoi/VisOnlyQA_Eval_Synthetic
Viewer • Updated • 700 • 133 • 2 -
ryokamoi/VisOnlyQA_Train
Viewer • Updated • 70k • 318 • 2
datasets 19
ryokamoi/FoVer-misc
Updated • 33
ryokamoi/FoVer-FormalLogic-Llama-3.1-8B
Viewer • Updated • 10.7k • 44
ryokamoi/FoVer-FormalLogic-Qwen-2.5-7B
Viewer • Updated • 10.7k • 27
ryokamoi/FoVer-FormalProof-Llama-3.1-8B
Viewer • Updated • 10.7k • 26
ryokamoi/FoVer-FormalProof-Qwen-2.5-7B
Viewer • Updated • 10.7k • 36
ryokamoi/FoVer-FormalLogic-FormalProof-Llama-3.1-8B-LastStepBalanced-40k
Viewer • Updated • 40k • 34
ryokamoi/FoVer-FormalLogic-FormalProof-Qwen-2.5-7B-LastStepBalanced-40k
Viewer • Updated • 40k • 47
ryokamoi/VisOnlyQA_Eval_Real_v1.1
Viewer • Updated • 900 • 147
ryokamoi/VisOnlyQA_Eval_Synthetic
Viewer • Updated • 700 • 133 • 2
ryokamoi/VisOnlyQA_metadata
Viewer • Updated • 3 • 67