{"id":"W2598672795","doi":"10.1007/978-3-662-54494-5_2","title":"Bordeaux: A Tool for Thinking Outside the Box","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Negation; Extension (predicate logic); Meaning (existential); Programming language; Algorithm; Theoretical computer science","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.001177694,0.001464132,0.0007626488,0.002080954,0.001273896,0.005439587,0.001747248,0.001724477,0.08172629],"category_scores_gemma":[0.003581674,0.001159654,0.001423467,0.000996461,0.001388504,0.005433495,0.002473368,0.003013876,0.02893887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001177525,"about_ca_system_score_gemma":0.001040633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00352618,"about_ca_topic_score_gemma":0.004921298,"domain_scores_codex":[0.9990672,0.0002769349,0.00004715614,0.0001798209,0.0003244456,0.000104459],"domain_scores_gemma":[0.9988425,0.0006312333,0.00003889357,0.0001744527,0.0001934704,0.0001193784],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002837699,0.00005790245,0.0003750814,0.000479057,0.00003685013,0.0004006482,0.001602372,0.00234197,0.006757036,0.4127224,0.2355127,0.3394301],"study_design_scores_gemma":[0.00003655695,0.00002544766,0.0002146243,0.0002167191,0.00002675099,0.0004672417,0.0001747087,0.00734943,0.00442158,0.07230329,0.9146978,0.00006601043],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002641679,0.0022331,0.7622902,0.001916497,0.001349084,0.00009730693,0.0008077193,0.0789296,0.1497348],"genre_scores_gemma":[0.05924419,0.002043535,0.6856302,0.001272394,0.000423711,0.0002602997,0.001999854,0.03675905,0.2123668],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08172629,"threshold_uncertainty_score":0.2734017,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02714208637281054,"score_gpt":0.2843163731541635,"score_spread":0.257174286781353,"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."}}