{"id":"W4384026493","doi":"10.1109/icse-companion58688.2023.00087","title":"GLAD: Neural Predicate Synthesis to Repair Omission Faults","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Kootenay Association for Science & Technology","funders":"","keywords":"Computer science; Artificial intelligence; Machine translation; Programming language; Debugger; Predicate (mathematical logic); Generative grammar; Machine learning; Natural language processing; Debugging","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.0009572789,0.0009015735,0.0004875335,0.000751281,0.000391607,0.0008560576,0.001713243,0.0009737038,0.009774969],"category_scores_gemma":[0.003799098,0.0004555273,0.000888457,0.0004817059,0.001198026,0.00157602,0.001564758,0.001523234,0.002369231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000863642,"about_ca_system_score_gemma":0.00136537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002112057,"about_ca_topic_score_gemma":0.004314594,"domain_scores_codex":[0.9992323,0.0001533991,0.00004847026,0.0002006237,0.0002889158,0.00007635936],"domain_scores_gemma":[0.9983519,0.0008676316,0.0001454889,0.0004354516,0.0001623933,0.00003712382],"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.0003294148,0.0002434479,0.003857265,0.0007662288,0.00007666874,0.0004687397,0.0003598194,0.2166654,0.0452364,0.04509054,0.03139038,0.6555157],"study_design_scores_gemma":[0.0001340603,0.0002331918,0.0006012544,0.00006580626,0.00006069339,0.0003428452,0.000107264,0.8648809,0.05155923,0.05093468,0.03103772,0.00004235797],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01611909,0.0002836624,0.9303128,0.0003073929,0.0001086466,0.00008247978,0.0005596726,0.04722558,0.005000701],"genre_scores_gemma":[0.3159262,0.0002411203,0.6691927,0.0004372173,0.00005203329,0.0001803719,0.001721102,0.005133376,0.007115822],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009774969,"threshold_uncertainty_score":0.0327006,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03005520905116201,"score_gpt":0.2856275058936663,"score_spread":0.2555722968425043,"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."}}