license:cc-by-nc-4.0 size_categories:10M<n<100M format:csv modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
license: cc-by-nc-4.0
---

# Dataset Card for Dataset Name

SIRD-27M: Symbolic Integration Rules Dataset is one of its kind dataset with function-integration rules pairs. Integration rules are the immediate next rules that should be applied on the function in order to solve its integral.

## Dataset Details

SIRD-27M consists of 27 Million+ distinct samples covering 24 different integration rules.

### Dataset Description

expr_27465168.csv consists of two columns:
- **function:** string column with mathematical functions
- **rules:** string column with integration rule names and an expression for certain rules like substitution rule, etc.  

## Uses

SIRD-27M can be utilised for various usecases:
- This can be used to train a model to learn which integration rule should be applied next to a function. Furthermore the model can highly speedup and might also improve success rate.
