PyPI recent updates for abstractNN https://pypi.org/project/abstractnn/ Recent updates to the Python Package Index for abstractNN en 0.1.5 https://pypi.org/project/abstractnn/0.1.5/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Sun, 02 Nov 2025 11:24:04 GMT 0.1.4 https://pypi.org/project/abstractnn/0.1.4/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Sun, 02 Nov 2025 10:07:36 GMT 0.1.3 https://pypi.org/project/abstractnn/0.1.3/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Sun, 02 Nov 2025 10:04:54 GMT 0.1.2 https://pypi.org/project/abstractnn/0.1.2/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Sat, 01 Nov 2025 10:58:51 GMT 0.1.1 https://pypi.org/project/abstractnn/0.1.1/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Fri, 31 Oct 2025 15:58:01 GMT 0.1.0 https://pypi.org/project/abstractnn/0.1.0/ Formal verification of neural networks using abstract interpretation and affine arithmetic contact@flyworthi.ai Fri, 31 Oct 2025 13:06:31 GMT