The dataset is split into two sets:
Train: The training set consists of 4330 samples.
Test: The testing set consists of 1082 samples.
This split ensures a comprehensive evaluation, allowing models trained on this data to be thoroughly tested on unseen examples.
text: The text entry contains the sample with the structure : The Formal Statement is: ______ The Informal Statement is: _______
