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