{"id":"W4389162832","doi":"10.1145/3611643.3613101","title":"Ad Hoc Syntax-Guided Program Reduction","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Abstract syntax tree; Debugging; Interpreter; Compiler; Grammar; Reduction (mathematics); Syntax; Parsing; Context (archaeology); Natural language processing; Linguistics","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.002581981,0.001531134,0.0009525234,0.001759289,0.001039217,0.001672014,0.002601258,0.001090233,0.009129446],"category_scores_gemma":[0.01320136,0.001003046,0.001729118,0.001054975,0.002435961,0.003064731,0.004601111,0.00328132,0.003656808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009867713,"about_ca_system_score_gemma":0.002750794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001561362,"about_ca_topic_score_gemma":0.002945153,"domain_scores_codex":[0.9954268,0.001146067,0.0002922071,0.001068083,0.001662224,0.0004046159],"domain_scores_gemma":[0.9896631,0.004257941,0.0005308648,0.003644977,0.001740161,0.000162942],"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.000654639,0.0004814253,0.003685379,0.001704234,0.000245117,0.0008486186,0.001923176,0.03463634,0.09444607,0.1788357,0.04970828,0.6328311],"study_design_scores_gemma":[0.0002989803,0.0003883069,0.00155972,0.0004024214,0.0003129106,0.001383357,0.0005584522,0.3452665,0.1663944,0.2921273,0.191127,0.0001806517],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01573568,0.0002697463,0.9511779,0.0004540049,0.000166642,0.0004154514,0.0004069229,0.02276983,0.008603794],"genre_scores_gemma":[0.1484678,0.000277668,0.8268693,0.0008073986,0.00009239209,0.0005021772,0.001631232,0.008537692,0.01281435],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009129446,"threshold_uncertainty_score":0.030541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05371215305656096,"score_gpt":0.3313578660265555,"score_spread":0.2776457129699946,"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."}}