{"id":"W2726042643","doi":"","title":"Vous avez dit raffinement ?","year":2005,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"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.005183107,0.0007210555,0.000827227,0.0009252526,0.004211938,0.007610297,0.001181641,0.003620803,0.05680728],"category_scores_gemma":[0.01950628,0.0002601805,0.0005212665,0.0008025537,0.006160758,0.01225953,0.003831246,0.00543334,0.0165766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00391804,"about_ca_system_score_gemma":0.002666825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006169474,"about_ca_topic_score_gemma":0.007182833,"domain_scores_codex":[0.9958078,0.001503243,0.0001362466,0.0007849218,0.001226576,0.0005411778],"domain_scores_gemma":[0.9941388,0.00173191,0.0003275539,0.0009837825,0.002100905,0.0007169604],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001730693,0.00004216896,0.000822939,0.0001756065,0.00003096933,0.0002713016,0.002669117,0.0003226195,0.001444987,0.7297995,0.1807899,0.08345788],"study_design_scores_gemma":[0.00001179327,0.0000202135,0.0003904931,0.00016064,0.00001137091,0.0002711737,0.00251087,0.0003172108,0.0007034583,0.2078808,0.7876915,0.00003049014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"other","genre_scores_codex":[0.01505543,0.02051998,0.02742438,0.608057,0.02897643,0.00004239993,0.0004383447,0.0008034407,0.2986825],"genre_scores_gemma":[0.3444682,0.01345211,0.0121723,0.07713624,0.01088986,0.0001056326,0.0004357313,0.001331892,0.5400081],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.05680728,"threshold_uncertainty_score":0.1900393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02941402133861673,"score_gpt":0.2628208092252846,"score_spread":0.2334067878866678,"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."}}