{"id":"W2978807476","doi":"10.1007/s11081-020-09507-w","title":"How to catch a lion in the desert: on the solution of the coverage directed generation (CDG) problem","year":2020,"lang":"en","type":"article","venue":"Optimization and Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Noise (video); Function (biology); Reliability (semiconductor); Software; Financial engineering; Optimization problem; Quadratic equation","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.0002739025,0.00005870959,0.00004880404,0.00003117681,0.00006750674,0.0001028605,0.0002457233,0.00002621339,8.666299e-7],"category_scores_gemma":[0.0002030287,0.00003319971,0.00001374108,0.0005848216,0.000006823438,0.000185186,0.00004551167,0.00007697983,4.544223e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001909095,"about_ca_system_score_gemma":0.00000906555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005625518,"about_ca_topic_score_gemma":0.000001985199,"domain_scores_codex":[0.9995059,0.00007980526,0.00009798956,0.0001136958,0.0001282458,0.00007430433],"domain_scores_gemma":[0.9996936,0.00004069115,0.0000400254,0.0001748138,0.00003247296,0.00001844513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001929696,0.0000060586,0.00003053091,0.000009006935,0.00000150566,7.120686e-8,0.001873787,0.9807943,0.006769132,0.008853902,0.0001055931,0.001554257],"study_design_scores_gemma":[0.00005791113,0.00002566943,0.001369662,0.00001451423,0.000001510767,8.452764e-7,0.00001613304,0.9926259,0.005564373,0.00001033526,0.000271755,0.00004137031],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01398854,0.00001451656,0.9751423,0.01036387,0.00007814085,0.0002812592,5.808912e-7,0.00003887498,0.00009191174],"genre_scores_gemma":[0.7637652,0.00001840804,0.2357183,0.0004187586,0.00003115245,0.00003128811,0.000001805079,0.000004478967,0.0000106649],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7497767,"threshold_uncertainty_score":0.1353845,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03066566326791516,"score_gpt":0.2170810003309102,"score_spread":0.1864153370629951,"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."}}