{"id":"W401483901","doi":"","title":"De nouveaux outils pour calculer avec des inductifs en Coq","year":2014,"lang":"fr","type":"dissertation","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Humanities; Philosophy; Art","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.008511717,0.004601152,0.003945615,0.003050527,0.003035634,0.0110964,0.002900952,0.00427633,0.01147034],"category_scores_gemma":[0.02356914,0.002640062,0.009622291,0.002297413,0.008393528,0.009062867,0.00321922,0.01500901,0.00440139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005645939,"about_ca_system_score_gemma":0.005183336,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0161632,"about_ca_topic_score_gemma":0.01171897,"domain_scores_codex":[0.9893948,0.00254666,0.0003876271,0.001547421,0.005452577,0.0006707379],"domain_scores_gemma":[0.9917698,0.005252288,0.0002988545,0.001252666,0.0009873569,0.0004391],"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.000488081,0.000596709,0.002426762,0.0009042227,0.0003051721,0.001227095,0.002128705,0.03218277,0.01171008,0.7887942,0.006969891,0.1522663],"study_design_scores_gemma":[0.001307946,0.0007450418,0.007232668,0.0008116853,0.0004227614,0.001928779,0.001344548,0.3459318,0.05554661,0.4151078,0.16887,0.0007503316],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0234487,0.0007577376,0.9620233,0.0006775869,0.0003511465,0.0002378838,0.0002243072,0.004073046,0.008206367],"genre_scores_gemma":[0.1684409,0.003963649,0.8003665,0.0006837434,0.0007087341,0.001182067,0.001040012,0.002183964,0.02143051],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0161632,"threshold_uncertainty_score":0.0450148,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01989894734102999,"score_gpt":0.2476293895208806,"score_spread":0.2277304421798507,"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."}}