{"id":"W3005846346","doi":"","title":"ZX-Calculi for Quantum Computing and their Completeness","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"","keywords":"Axiom; Toffoli gate; Completeness (order theory); Computer science; Mathematics; Quantum; Quantum computer; Quantum mechanics; Quantum gate","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.006054542,0.0009083801,0.001510855,0.002986389,0.003823081,0.006383658,0.001864937,0.001899354,0.004617613],"category_scores_gemma":[0.01223503,0.001125916,0.003350365,0.002219727,0.007958557,0.01296997,0.006214778,0.006590034,0.001044218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003209848,"about_ca_system_score_gemma":0.00290252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003052077,"about_ca_topic_score_gemma":0.001888448,"domain_scores_codex":[0.9954854,0.001126142,0.0004241103,0.000702464,0.001847847,0.0004139939],"domain_scores_gemma":[0.9927616,0.00432256,0.0003436893,0.001126124,0.001135762,0.0003102884],"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.000004495406,0.000004082814,0.00004468199,0.00002284384,0.000004147038,0.00001736064,0.0001631524,0.0005726521,0.0001206881,0.9973919,0.0002223285,0.00143157],"study_design_scores_gemma":[0.000008726525,0.00000578016,0.00005067839,0.00001796868,0.000005399986,0.00002392317,0.0000336893,0.0052812,0.0003086168,0.9904972,0.003758743,0.000008064145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05846434,0.003811654,0.8754511,0.003453185,0.0003463437,0.0002096504,0.0005856727,0.0007991329,0.05687892],"genre_scores_gemma":[0.6229988,0.002730151,0.3505503,0.001178204,0.000734319,0.0008775374,0.0007846444,0.0005932131,0.01955272],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006383658,"threshold_uncertainty_score":0.03201985,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02574848084091023,"score_gpt":0.2482896419371238,"score_spread":0.2225411610962136,"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."}}