{"id":"W2921402294","doi":"10.23638/lmcs-16(2:11)2020","title":"Completeness of the ZX-Calculus","year":2020,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"Agence Nationale de la Recherche","keywords":"Completeness (order theory); Calculus (dental); Mathematics; Computer science; Medicine; Mathematical analysis; Dentistry","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004899229,0.0005347573,0.001078681,0.001179048,0.002647871,0.004666549,0.001725784,0.001470929,0.005056133],"category_scores_gemma":[0.007389827,0.0006856367,0.002621189,0.0007733451,0.004875585,0.00894016,0.005501982,0.004193794,0.001165413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001856889,"about_ca_system_score_gemma":0.003425301,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00323067,"about_ca_topic_score_gemma":0.001718806,"domain_scores_codex":[0.9944034,0.00139324,0.0005318854,0.00133633,0.001656849,0.0006782887],"domain_scores_gemma":[0.9949682,0.001966651,0.0002221973,0.001299628,0.00133266,0.0002106809],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001849161,0.00001014222,0.0001128174,0.00003880589,0.000009680696,0.00004461898,0.0003193805,0.0009461134,0.001064844,0.9931647,0.0005529232,0.003717409],"study_design_scores_gemma":[0.00003024189,0.00002902566,0.0001909526,0.0000313436,0.00003023197,0.0001104585,0.0001205475,0.01083748,0.005685064,0.9675286,0.01537091,0.00003516307],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08770458,0.0005636252,0.8674409,0.002222071,0.0002185974,0.0001622071,0.0008402049,0.001247486,0.03960026],"genre_scores_gemma":[0.7814317,0.0007307423,0.1926625,0.001051367,0.0002974414,0.00037659,0.001198629,0.0006002856,0.02165084],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005056133,"threshold_uncertainty_score":0.02590996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07030176109592952,"score_gpt":0.3545956035740337,"score_spread":0.2842938424781042,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}