{"id":"W4313306248","doi":"","title":"Défis dans le développement collaboratif et ouvert de l'assistant de preuve Coq et de son écosystème","year":2019,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Social Sciences and Governance","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Humanities; Philosophy","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":["open_science"],"consensus_categories":[],"category_scores_codex":[0.03941016,0.0008770883,0.0007530302,0.002464948,0.0129389,0.02332648,0.002471192,0.008730479,0.005693285],"category_scores_gemma":[0.05722048,0.0006773043,0.0005145288,0.003135536,0.02120087,0.01597779,0.01114643,0.007402236,0.001327181],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01589763,"about_ca_system_score_gemma":0.01672457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03858358,"about_ca_topic_score_gemma":0.02915749,"domain_scores_codex":[0.9530535,0.02502927,0.002623347,0.005469643,0.009134656,0.004689621],"domain_scores_gemma":[0.9258457,0.0380368,0.005891692,0.006454173,0.01402866,0.009742853],"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.00008195965,0.00007098959,0.01019266,0.0001262774,0.00002200055,0.000624613,0.05349668,0.0008357223,0.0008951603,0.8957459,0.005728291,0.03217975],"study_design_scores_gemma":[0.0001195858,0.0002217791,0.01915507,0.0007270085,0.00003597879,0.00184461,0.09895265,0.004475895,0.001935576,0.5654513,0.3069584,0.0001221949],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2983136,0.004593536,0.08398051,0.1412441,0.0007491162,0.0002738088,0.0002037167,0.0002879271,0.4703537],"genre_scores_gemma":[0.9490087,0.000563072,0.0132717,0.001826319,0.0001187532,0.0002418529,0.00007282049,0.00007667252,0.03482004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9975288,"threshold_uncertainty_score":0.2084233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02233249356123439,"score_gpt":0.2852141904847981,"score_spread":0.2628816969235637,"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."}}