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.
SIRD-27M consists of 27 Million+ distinct samples covering 24 different integration rules.
function: string column with… See the full description on the dataset page:
https://huggingface.co/datasets/troy1729/SIRD-27M.