{"id":"W4386095606","doi":"10.4204/eptcs.384.1","title":"Graphical CSS Code Transformation Using ZX Calculus","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Teaching and Learning Programming","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Perimeter Institute; University of Waterloo","funders":"Clarendon Fund; Innovation, Science and Economic Development Canada; Institut Périmètre de physique théorique; Natural Sciences and Engineering Research Council of Canada; Government of Canada; Ministry of Colleges and Universities","keywords":"Transformation (genetics); Code (set theory); Computer science; Programming language; Calculus (dental); Mathematics; Algebra over a field; Arithmetic; Pure mathematics; Chemistry; Dentistry","routes":{"ca_aff":true,"ca_fund":true,"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.0005491922,0.000395631,0.0002911746,0.0008787484,0.0006816504,0.001544843,0.0006668749,0.0006853343,0.009211989],"category_scores_gemma":[0.00176205,0.0002409685,0.0007986249,0.0005121256,0.001752036,0.002075411,0.001288823,0.001652577,0.002189452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008278985,"about_ca_system_score_gemma":0.0007358165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001043934,"about_ca_topic_score_gemma":0.0006911175,"domain_scores_codex":[0.9992864,0.0001396178,0.00004439061,0.0001322677,0.0002980354,0.00009933486],"domain_scores_gemma":[0.9995075,0.0001481814,0.0000424627,0.0001339484,0.0001289561,0.00003892997],"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.0000192537,0.00001443981,0.00005960125,0.0000283692,0.000004144661,0.00008744123,0.000191176,0.002648534,0.004978501,0.9783891,0.0008208192,0.01275861],"study_design_scores_gemma":[0.00002616888,0.00005147077,0.0001230894,0.00003431755,0.00001539198,0.0002084687,0.00009520895,0.03076514,0.01682409,0.9079524,0.04387401,0.00003010736],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02374958,0.0002097139,0.9295597,0.0004302376,0.0002924123,0.000109891,0.0002075625,0.001544913,0.04389597],"genre_scores_gemma":[0.5104952,0.0007581326,0.4429524,0.0007407139,0.0002582393,0.000518095,0.000456269,0.001343435,0.04247759],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009211989,"threshold_uncertainty_score":0.03081715,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01129253635800418,"score_gpt":0.2745351148492931,"score_spread":0.2632425784912889,"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."}}