{"id":"W2260020066","doi":"","title":"Coq 8.4 Reference Manual","year":2014,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"X-ray Diffraction in Crystallography","field":"Materials Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.004871699,0.002853044,0.001758348,0.006972027,0.001683802,0.005426055,0.006145814,0.002354468,0.330432],"category_scores_gemma":[0.02481465,0.002700779,0.001523465,0.006687477,0.0007804355,0.003836919,0.003477746,0.003152533,0.4190723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002193133,"about_ca_system_score_gemma":0.004849612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009513792,"about_ca_topic_score_gemma":0.006900763,"domain_scores_codex":[0.9952637,0.0007394403,0.0005650987,0.0005489602,0.002267602,0.0006151725],"domain_scores_gemma":[0.9813182,0.004032928,0.0007538948,0.002729899,0.01066269,0.0005023703],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002731868,0.00004821124,0.0002965619,0.0010213,0.00001808839,0.00006042086,0.0000825471,0.0005001058,0.00161344,0.004826249,0.9413665,0.04989336],"study_design_scores_gemma":[0.00008317987,0.00003185889,0.0004763974,0.0003175703,0.0000153605,0.0001855664,0.00005289832,0.0009289582,0.00402818,0.003451013,0.9903749,0.0000541144],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"software","genre_scores_codex":[0.002331539,0.002146148,0.167837,0.001398206,0.00143323,0.001654862,0.323315,0.3510567,0.1488273],"genre_scores_gemma":[0.01113999,0.001825021,0.1176632,0.001542939,0.0004290028,0.003757959,0.5497632,0.1958567,0.1180219],"genre_candidate":"software","genre_consensus":"software","teacher_disagreement_score":0.330432,"threshold_uncertainty_score":0.9550574,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01365907736857344,"score_gpt":0.2371214704642978,"score_spread":0.2234623930957243,"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."}}