Rule sets and engine configurations for simplipy,
a fast, contract-sound simplification engine for symbolic mathematical expressions.
The engine and these rule sets are described in: Saegert & Köthe 2026, Breaking the
Simplification Bottleneck in Amortized Neural Symbolic Regression (ICML 2026),
arXiv:2602.08885.
Install an engine by name (downloads this repository's files on first use):
pip install simplipy
engine =… See the full description on the dataset page:
https://huggingface.co/datasets/psaegert/simplipy-assets.