{"id":"W2909649608","doi":"","title":"Upper bounds on the sizes of variable strength covering arrays using the Lov\\'{a}sz local lemma","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; University of Ottawa","funders":"","keywords":"Hypergraph; Mathematics; Lemma (botany); Combinatorics; Upper and lower bounds; Logarithm; Generalization; Clique; Variable (mathematics); Row; Discrete mathematics; Spiral (railway); Logarithmic spiral; Algorithm; Computer science; Geometry; Mathematical analysis","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.0006396671,0.0003200773,0.0003354266,0.0001456468,0.0002889812,0.0001805085,0.002704676,0.0002215138,0.00001624649],"category_scores_gemma":[0.0001735981,0.0002326904,0.0001908702,0.0005524061,0.0002747492,0.0001867125,0.002075683,0.0007426426,0.00001533968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002030027,"about_ca_system_score_gemma":0.0003387489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007944599,"about_ca_topic_score_gemma":0.000005349415,"domain_scores_codex":[0.9982523,0.0002149686,0.0002217797,0.0007678519,0.0001820045,0.0003611092],"domain_scores_gemma":[0.9960505,0.001275166,0.000351241,0.002097336,0.0001645093,0.00006121934],"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.00003291575,0.0001094205,0.007613656,0.0001145915,0.000113079,0.00004509437,0.0004461836,0.7681411,0.00007075156,0.2208043,0.001917444,0.0005914752],"study_design_scores_gemma":[0.0001540704,0.00007969843,0.0002833205,0.0004215798,0.00005746993,0.000007137515,0.00005633678,0.8966483,0.0008595479,0.1007737,0.0003183014,0.0003405198],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1892551,0.00003740561,0.8068968,0.00008959645,0.0004342753,0.0002393101,0.000009552141,0.00109932,0.001938669],"genre_scores_gemma":[0.9881907,0.00002114238,0.01124143,0.0001724394,0.00005762481,8.245398e-7,0.000002540662,0.0000220957,0.0002912179],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7989357,"threshold_uncertainty_score":0.948884,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0798147617837113,"score_gpt":0.2012522241535758,"score_spread":0.1214374623698645,"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."}}