{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.005131069,0.0002032488,0.0002231254,0.0001491927,0.0004094601,0.0003218803,0.0009390046,0.000129295,0.001375337],"category_scores_gemma":[0.001316913,0.0002056388,0.00009586997,0.0003796092,0.0003205561,0.0003081175,0.000295214,0.0002377526,0.000586879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004808324,"about_ca_system_score_gemma":0.00006488615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004404979,"about_ca_topic_score_gemma":0.0004750619,"domain_scores_codex":[0.9947347,0.003470144,0.0003914683,0.0005697167,0.0004548759,0.0003790969],"domain_scores_gemma":[0.9955594,0.00138535,0.000287991,0.001458351,0.001117761,0.0001911744],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002201904,0.0005046412,0.00430235,0.00005994544,0.0000188603,0.000002698204,0.002765273,0.00003107294,0.6512583,0.31947,0.004766032,0.01679867],"study_design_scores_gemma":[0.001193992,0.000001909357,0.03781381,0.0005082386,0.00004247854,0.00003480594,0.000311803,0.003727037,0.571995,0.01210439,0.3714127,0.000853873],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6762615,0.0001018627,0.113824,0.003974576,0.000333115,0.0002099123,0.00002958107,0.0004719581,0.2047934],"genre_scores_gemma":[0.9634805,0.00004930435,0.02961486,0.0002209823,0.00002770947,0.00003602949,0.00005997848,0.00002776577,0.006482819],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3666467,"threshold_uncertainty_score":0.9995375,"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."}}