{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004161277,0.0001055298,0.0001125251,0.0001850184,0.0001147179,0.00005600623,0.0006960325,0.0000470973,0.00001339523],"category_scores_gemma":[0.001855636,0.00008363103,0.00006497038,0.0008497199,0.00001368668,0.0001520127,0.0004957382,0.0000692589,0.000389283],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000197978,"about_ca_system_score_gemma":0.0000247927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008937931,"about_ca_topic_score_gemma":0.000001547601,"domain_scores_codex":[0.9988655,0.00004505812,0.0001584277,0.0003993357,0.0002517973,0.0002798371],"domain_scores_gemma":[0.9984553,0.0006199036,0.00002995502,0.0006869072,0.00004300194,0.0001649511],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006137112,0.0000275789,0.005773958,0.00001685894,0.000007327032,0.00006242687,0.0003011407,0.0000900888,0.0003417784,0.001113004,0.8535985,0.1386612],"study_design_scores_gemma":[0.00009715265,0.0002019302,0.04115099,0.0002100869,0.000008021029,0.00004233356,0.00000794628,0.920539,0.009963423,0.01436554,0.01293001,0.0004836051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09190252,0.00002206452,0.5550625,0.01282919,0.0006462132,0.0004048678,0.000003563998,0.3329273,0.006201767],"genre_scores_gemma":[0.710065,0.000002953048,0.2871765,0.0009098008,0.00005582288,0.00006225302,8.713054e-7,0.00001323548,0.001713596],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9204488,"threshold_uncertainty_score":0.5003576,"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."}}