Update README.md

README.md

@@ -25,15 +25,15 @@ statement goal.
 ## Training
 - PyTorch Lightning
 
-## 📄 Related Paper & Citation
+## Related Paper & Citation
 
-For more details on the methodology, data augmentation strategy, and dynamic sampling used for Lean theorem proving, please refer to our paper:
+For more details on the training methodology, data augmentation strategy, and dynamic sampling method used for Lean theorem proving, please refer to our paper:
 
 **Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method**  
 Rahul Vishwakarma, Subhankar Mishra  
 *arXiv:2312.14188 (cs.AI, cs.LG, cs.LO)*
 
-🔗 **Paper:** https://arxiv.org/abs/2312.14188
+**Paper:** https://arxiv.org/abs/2312.14188
 
 If you use this model or build upon this work, please cite: