abhinavnagpal/SIRD-Symbolic-Integration-Rules-Dataset

SIRD-Symbolic-Integration-Rules-Dataset

1. SIRD-2M(3rd Workshop MATH AI, NeurIPS 2023):

• SIRD-2M: https://drive.google.com/file/d/1EZNG8MrlVhFMzWy5mwOPxo67K3rmF5pJ/view
• Paper: https://mathai2023.github.io/papers/39.pdf
• If you are using our paper/dataset, kindly cite our work:

  SIRD-2M BibTeX Citation

  @inproceedings{
  sharma2023sird,
  title={{SIRD}: Symbolic Integration Rules Dataset},
  author={Vaibhav Sharma and abhinav nagpal and Muhammed Fatih Balin},
  booktitle={The 3rd Workshop on Mathematical Reasoning and AI at NeurIPS'23},
  year={2023},
  url={https://openreview.net/forum?id=WWDsbsgyhS}
  }