Computational appendix of "Proofs of network quantum nonlocality aided by machine learning" [arXiv:2203.16543]

This repository contains the codes used for the article "Proofs on network quantum nonlocality aided by machine learning. Alejandro Pozas-Kerstjens, Nicolas Gisin, and Marc-Olivier Renou. arXiv:2203.16543." It provides the codes for producing the results in the article, namely the linear programs certifying triangle nonlocality, and the automated sweep over the parameter range of interest.

The code is written in Python and Mathematica.