{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","open_science","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.01685768,0.0008625629,0.0007865755,0.0003617202,0.000879546,0.001535409,0.005823184,0.0006953555,0.0008446592],"category_scores_gemma":[0.00356845,0.001005542,0.000505621,0.001091248,0.0006808483,0.0008431544,0.004993715,0.001537173,0.001118442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006737244,"about_ca_system_score_gemma":0.00083089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001323565,"about_ca_topic_score_gemma":0.001192545,"domain_scores_codex":[0.9798285,0.0141065,0.001568022,0.002113643,0.001293066,0.001090292],"domain_scores_gemma":[0.9851333,0.001900232,0.001466672,0.006655904,0.004296578,0.0005472933],"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.000009522892,0.0008594691,0.000216249,0.0001434798,0.00008239335,0.000008550162,0.01321786,0.0006892214,0.001029101,0.6417775,0.002375068,0.3395916],"study_design_scores_gemma":[0.0009547235,0.000001682523,0.008397289,0.002648902,0.0001076666,0.00007985445,0.0001262874,0.4198388,0.06075259,0.008715427,0.4969561,0.001420712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01142743,0.002639747,0.8290504,0.03605015,0.001920956,0.000953849,0.00005500475,0.0005547638,0.1173477],"genre_scores_gemma":[0.07903426,0.001855918,0.8478419,0.0004213346,0.0002054143,0.0002182724,0.0002708488,0.000091817,0.07006025],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6330621,"threshold_uncertainty_score":0.9996593,"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."}}