[MNT] Update ABL Kit description

README.md

@@ -15,7 +15,7 @@
 
 # Abductive Learning (ABL) Kit
 
-**ABL Kit** is an open source Python toolkit for **Abductive Learning (ABL)**.
+**ABL Kit** is an efficient Python toolkit for **Abductive Learning (ABL)**.
 ABL is a novel paradigm that integrates machine learning and 
 logical reasoning in a unified framework. It is suitable for tasks
 where both data and (logical) domain knowledge are available. 
@@ -192,7 +192,7 @@ To explore detailed tutorials and information, please refer to - [document](http
 We provide several examples in `examples/`. Each example is stored in a separate folder containing a README file.
 
 + [MNIST Addition](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/mnist_add)
-+ [Handwritten Formula](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hwf)
++ [Handwritten Formula (HWF)](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hwf)
 + [Handwritten Equation Decipherment](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hed)
 + [Zoo](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/zoo)