{"id":"W6950222294","doi":"10.5281/zenodo.3783587","title":"msoos/cryptominisat: CryptoMiniSat 5.7.1","year":2020,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Product (mathematics); Process (computing); Identification (biology); Face (sociological concept)","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.001893267,0.002352955,0.001150031,0.002216249,0.00126713,0.003598776,0.002001514,0.002034398,0.2939789],"category_scores_gemma":[0.00361584,0.0006879462,0.0007639472,0.001453604,0.001170727,0.003282939,0.002816554,0.003146335,0.252677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001685244,"about_ca_system_score_gemma":0.001485584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00262304,"about_ca_topic_score_gemma":0.002727871,"domain_scores_codex":[0.9980306,0.0002693023,0.00009502262,0.0003019654,0.0009103144,0.00039283],"domain_scores_gemma":[0.9987894,0.0002010144,0.00007833712,0.0004126913,0.0003381331,0.0001804695],"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.002025988,0.0001641094,0.0005801682,0.0007114291,0.00006916248,0.0002014296,0.0001174433,0.002091553,0.01514668,0.09504525,0.7389109,0.144936],"study_design_scores_gemma":[0.0003546037,0.0001347998,0.0003782783,0.0001223804,0.00002286516,0.0004058028,0.00003478838,0.006629189,0.03199345,0.0273417,0.9325032,0.00007891802],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"software","genre_scores_codex":[0.009656198,0.001700104,0.1670247,0.002385196,0.002684889,0.0007430614,0.04425616,0.1775012,0.5940485],"genre_scores_gemma":[0.1355739,0.001275901,0.1142488,0.001588257,0.0008077198,0.000675038,0.08267339,0.1365097,0.5266473],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.2939789,"threshold_uncertainty_score":0.9834575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03861404192471486,"score_gpt":0.2545887223495146,"score_spread":0.2159746804247998,"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."}}