https://github.com/april-tools/gasp

gasp! - GPU Accelerated Simplical Polynomial Integrator

https://github.com/april-tools/gasp

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (5.4%) to scientific vocabulary

Keywords

constraints deep-learning guarantees integration polynomials polytopes tractable-inference tractable-queries wmi
Last synced: 5 months ago · JSON representation

Repository

gasp! - GPU Accelerated Simplical Polynomial Integrator

Basic Info
  • Host: GitHub
  • Owner: april-tools
  • License: mit
  • Language: Python
  • Default Branch: main
  • Homepage:
  • Size: 116 KB
Statistics
  • Stars: 7
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
constraints deep-learning guarantees integration polynomials polytopes tractable-inference tractable-queries wmi
Created 11 months ago · Last pushed 10 months ago
Metadata Files
Readme License

README.md

GASP!

Python package

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.

gasp_vs_latte

Install

Install via git:

python pip install git+https://github.com/april-tools/gasp.git@master

Usage

The main usage is via NumericalSymbIntegratorPA, which hooks into the wmipa API.

Citation

Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari, A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction, arXiv:2503.19466

Owner

  • Name: april-tools
  • Login: april-tools
  • Kind: organization

GitHub Events

Total
  • Watch event: 6
  • Push event: 9
  • Public event: 1
  • Fork event: 1
Last Year
  • Watch event: 6
  • Push event: 9
  • Public event: 1
  • Fork event: 1

Dependencies

.github/workflows/python-package.yml actions
  • actions/checkout v4 composite
  • actions/setup-python v3 composite
setup.py pypi
  • Explicitly *
  • Install *
  • Main *
  • PySMT >=0.9.6.dev53
  • networkx *
  • numpy *
  • pytest *
  • pytest-runner *
  • sympy >=1.13
  • test *
  • torch >=2.6.0
  • wmipa *