{"id":"W4388667510","doi":"10.4204/eptcs.394.17","title":"Symbolic Synthesis of Clifford Circuits and Beyond","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University; McGill University; Simon Fraser University","funders":"","keywords":"Electronic circuit; Computer science; Theoretical computer science; Engineering; Electrical engineering","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.0005102577,0.0006307473,0.0004613543,0.0005803696,0.0007103311,0.001287894,0.0009901267,0.0006649994,0.004842132],"category_scores_gemma":[0.00267367,0.0002617974,0.0006613132,0.0007115853,0.001719177,0.00211203,0.001244569,0.001319229,0.0006513405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009158458,"about_ca_system_score_gemma":0.0009720123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007247643,"about_ca_topic_score_gemma":0.001157078,"domain_scores_codex":[0.9993325,0.0001622366,0.00004694921,0.0001371152,0.0002296662,0.00009147294],"domain_scores_gemma":[0.9993235,0.0003585596,0.00003978845,0.0001722237,0.00008129788,0.00002474414],"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.0000753454,0.00003950805,0.0001399418,0.0001554598,0.00001550641,0.0001284498,0.0001364157,0.04754351,0.01158093,0.8571219,0.001457543,0.08160543],"study_design_scores_gemma":[0.00002764212,0.00004643829,0.00006222509,0.0000554708,0.00001722566,0.00008356509,0.00004431384,0.2192234,0.0257438,0.7389604,0.01571877,0.00001669255],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02452794,0.0004272921,0.9513198,0.0004425442,0.0001196664,0.00008542126,0.0001204392,0.001262686,0.02169423],"genre_scores_gemma":[0.5937954,0.0005517591,0.3969568,0.0003188844,0.00006279304,0.0001834918,0.0003093728,0.0003342689,0.007487148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004842132,"threshold_uncertainty_score":0.01619858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00466237897613747,"score_gpt":0.2245449037376794,"score_spread":0.219882524761542,"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."}}