We present a linear program that is capable of determining whether a set of correlations can be captured by a local realistic model. If the correlations can be described by such a model, the linear program outputs a joint probability distribution that produces the given correlations. If the correlations cannot be described under the assumption of local realism, the program outputs a Bell inequality violated by the correlations.
Using spatiotemporal Born rule for testing macroscopic realism
International Institute of Physics, Federal University of Rio Grande do Norte（北里奥格兰德联邦大学国际物理研究所）；Institute of Physics, Federal University of Goiás（戈亚斯联邦大学物理研究所）；Clarendon Laboratory, University of Oxford（牛津大学克拉伦登实验室）；School of Science and Technology, Federal University of Rio Grande do Norte（北里奥格兰德联邦大学科学技术学院）
Leggett-type inequalities for testing nonlocal realism in multipartite systems
School of Physics, Shandong University（山东大学物理学院）；Wilczek Quantum Center, School of Physics and Astronomy, Shanghai Jiao Tong University（上海交通大学物理与天文学院吴健雄量子中心）；Key Laboratory of Vacuum Physics, CAS（中国科学院真空物理重点实验室）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）
The complexity of semidefinite programs for testing $k$-block-positivity
Mathematics Research Center, School of Science and Engineering, The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）理学院科研中心）；Université de Lyon, Inria, ENS de Lyon, UCBL, LIP（里昂大学、法国国家信息与自动化研究所、里昂高等师范学校、里昂第一大学、里昂数学研究所）；QICI Quantum Information and Computation Initiative, School of Computing and Data Science, The University of Hong Kong（香港大学计算与数据科学学院量子信息计算倡议中心）；Kyoto University, Mathematics department（京都大学数学系）
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
Manufacturing Industry Chain Collaboration Industrial Software Key Laboratory of Sichuan Province（四川省制造业产业链协同工业软件重点实验室）；Southwest Jiaotong University（西南交通大学）；State Key Laboratory of Blockchain and Data Security（区块链与数据安全国家重点实验室）；Zhejiang University（浙江大学）；Kyushu University（九州大学）；University of Luxembourg（卢森堡大学）；Institute of AI for Industries（产业人工智能研究院）
