Update README.md

README.md

@@ -1,5 +1,5 @@
 ---
-license: mit
+license: apache-2.0
 language:
 - en
 base_model:
@@ -35,7 +35,7 @@ Leverage OPC to tackle pressing research questions in automated proof generation
 (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?
 
-WBuilding 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 ouperforms the majority of leading closed-source models, reaching an impressive 88.1% accuracy on verifying LLM-generated proofs.
 
 ## Introduction