{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.002280912,0.0005120956,0.0004787891,0.0003894854,0.001271703,0.001921308,0.008406824,0.000298448,0.000002890468],"category_scores_gemma":[0.001137065,0.0003653666,0.000207316,0.0001599205,0.0007999206,0.0005272474,0.002093379,0.0007801795,0.00001381819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001809861,"about_ca_system_score_gemma":0.0006143261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005773173,"about_ca_topic_score_gemma":0.00003759136,"domain_scores_codex":[0.9965101,0.00002850995,0.0004425874,0.001401439,0.0008987414,0.0007186185],"domain_scores_gemma":[0.993872,0.002127686,0.0004723339,0.003117835,0.0003225607,0.00008758533],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004215587,0.00001237544,0.0001167974,0.00003578584,0.00001090796,0.00003302173,0.0009225312,0.001115838,0.00001025508,0.03607844,0.001069815,0.96059],"study_design_scores_gemma":[0.0001298599,0.0001176967,0.00009543908,0.0005022621,0.00000874407,0.00007069801,1.961156e-8,0.1243456,0.0002769316,0.8671624,0.00679449,0.0004958882],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000005209331,0.0003719766,0.9896156,0.002638958,0.001790476,0.0006978114,0.000005140841,0.002681048,0.002193736],"genre_scores_gemma":[0.02955852,0.0000195111,0.9656289,0.003362617,0.0007459808,0.00005509886,0.000002904557,0.00004584754,0.0005806099],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9600942,"threshold_uncertainty_score":0.9998798,"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."}}