{"id":"W177306140","doi":"","title":"A.: Why3: Shepherd your herd of provers","year":2011,"lang":"en","type":"preprint","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":186,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Programming language; Task (project management); Automated theorem proving; Proof assistant; Set (abstract data type); Software; Theoretical computer science; Algorithm; Mathematics; Mathematical proof","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.00721354,0.0008393388,0.0009340922,0.001411548,0.002710441,0.005033696,0.001794414,0.002170589,0.07548091],"category_scores_gemma":[0.02244648,0.001134066,0.00237581,0.0011634,0.003325259,0.01322864,0.004496059,0.00711917,0.03115807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00190622,"about_ca_system_score_gemma":0.003427884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004164089,"about_ca_topic_score_gemma":0.004535397,"domain_scores_codex":[0.9953049,0.001378324,0.0001757586,0.0007127518,0.001863898,0.0005643719],"domain_scores_gemma":[0.9870128,0.003972698,0.0004237666,0.004276417,0.003556317,0.0007579494],"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.0004584019,0.00008237054,0.001680637,0.0003426982,0.0001066251,0.0003111022,0.0006766533,0.002721112,0.005851037,0.3611132,0.4275285,0.1991277],"study_design_scores_gemma":[0.0001204599,0.00005714119,0.0005264432,0.0002506664,0.00005191331,0.0005837519,0.0002842165,0.01686517,0.008837942,0.277202,0.6951336,0.00008670492],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.009232778,0.003310434,0.7494752,0.08142405,0.007513869,0.0002432323,0.001865411,0.04309094,0.1038441],"genre_scores_gemma":[0.1682382,0.003127535,0.5978124,0.03247324,0.002247574,0.0003557987,0.003587611,0.03015641,0.1620013],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.07548091,"threshold_uncertainty_score":0.2525088,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05597261288262851,"score_gpt":0.2632629811409697,"score_spread":0.2072903682583412,"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."}}