Last released Nov 10, 2026
Polynomial optimization with certified, anytime, first-order moment-SOS bounds in PyTorch