ryokamoi/FoVer-FormalLogic-FormalProof-Llama-3.1-8B-LastStepBalanced-40k Viewer • Updated 7 days ago • 40k • 53
ryokamoi/FoVer-FormalLogic-FormalProof-Qwen-2.5-7B-LastStepBalanced-40k Viewer • Updated 7 days ago • 40k • 79