This repository is the implementation of GASP!, the GPU Accelerated Simplical Integrator, as a stand-alone drop-in backend for wmi-pa.
GASP! is a high-performance WMI-integration backend that that can replace LATTE and can achieve one to two magnitude performance improvements, even more if many monomials must be integrated separately in parallel.
Install via git:
pip install git+https://github.com/april-tools/gasp.git@masterThe main usage is via NumericalSymbIntegratorPA, which hooks into the wmipa API.
Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari, A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction, arXiv:2503.19466