SSDNC dataset

The SSDNC dataset is a comprehensive dataset containing 963 unseen equations.

BibTex: