Update README.md

README.md

@@ -33,9 +33,9 @@ We introduce the Open Proof Corpus (OPC)—the world’s first large-scale, open
 Leverage OPC to tackle pressing research questions in automated proof generation:
 (1) How do natural language and formal proof generation compare? 
 (2) How often do models that produce correct final answers truly reason their way to valid proofs? 
-(3) By what margin do best-of-n selection methods improveme proof quality?
+(3) By what margin do best-of-n selection methods improve proof quality?
 
-Building on this breakthrough resource, we present **OPC-R1-8B** - an open-source model for proof correctness judging that matches state-of-the-art performance. OPC-R1-8B ouperforms the majority of leading closed-source models, reaching an impressive 88.1% accuracy on verifying LLM-generated proofs.
+Building on this breakthrough resource, we present **OPC-R1-8B** - an open-source model for proof correctness judging that matches state-of-the-art performance. OPC-R1-8B outperforms the majority of leading closed-source models, reaching an impressive 88.1% accuracy on verifying LLM-generated proofs.
 
 ## Introduction