{"id":"W4406261806","doi":"10.1109/qce60285.2024.00119","title":"CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging","year":2024,"lang":"en","type":"article","venue":"","topic":"Teaching and Learning Programming","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Debugging; Computer science; Abstraction; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009751355,0.0001300766,0.0001741338,0.0005736361,0.0001690048,0.0007145061,0.0002036353,0.00004858188,0.00002109472],"category_scores_gemma":[0.00005708918,0.0001154328,0.00004789621,0.001114095,0.00001669605,0.000379366,0.00008775198,0.0003206074,0.00004962846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001049073,"about_ca_system_score_gemma":0.0001084805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008902311,"about_ca_topic_score_gemma":0.0002442216,"domain_scores_codex":[0.9986973,0.00007307054,0.000298869,0.0004718928,0.0001909853,0.0002678446],"domain_scores_gemma":[0.9995213,0.0001864959,0.00004249013,0.0001583475,0.00002163421,0.00006974513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001143942,0.00004796618,0.01865666,0.0000421389,0.0001782426,0.00007857758,0.01273741,0.0004776133,0.00143232,0.0264066,0.0000615452,0.9398798],"study_design_scores_gemma":[0.0001295099,0.00004443751,0.1455756,0.0001909163,0.00005293471,0.00004474965,0.0005498058,0.8418072,0.0002908003,0.0003819829,0.01050396,0.0004281302],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3901061,0.0002701867,0.6060717,0.0002615089,0.0001498124,0.00006999408,9.30393e-8,0.001202095,0.001868546],"genre_scores_gemma":[0.9594639,0.000007635258,0.04006417,0.00002137576,0.00002888678,0.000006713355,0.000003763276,0.000008850127,0.0003946964],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9394516,"threshold_uncertainty_score":0.6889998,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01314882184694256,"score_gpt":0.2762595970279925,"score_spread":0.26311077518105,"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."}}