ResearchBenchmarksLogical Reasoning on ProofWriter (pass@1)Logical Reasoning on ProofWriter (pass@1)Follow73.23Pass@1MAPR72.231672.490872.7573.0092Sep 26, 2025Evaluation resultsMethodMethodLinksPass@1MAPRBase Model=Qwen3-14B-BaseBase Model=Qwen3-14B-Base2025.0973.23GRPOBase Model=Qwen3-14B-BaseBase Model=Qwen3-14B-Base2025.0972.27