{"id":"W2270804122","doi":"","title":"Forcing in Coq","year":2012,"lang":"en","type":"article","venue":"","topic":"Metallurgy and Material Forming","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Forcing (mathematics); Climatology; Geology","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.002158409,0.000569616,0.001159812,0.001357321,0.003906755,0.004303719,0.001208079,0.002111717,0.06009709],"category_scores_gemma":[0.02135525,0.0005017517,0.001105278,0.001010427,0.00436887,0.004936839,0.004292455,0.003266997,0.00435576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002929905,"about_ca_system_score_gemma":0.001764386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007553005,"about_ca_topic_score_gemma":0.005313785,"domain_scores_codex":[0.9976057,0.0006565618,0.00008432498,0.000699319,0.0004223135,0.0005318425],"domain_scores_gemma":[0.9897308,0.004569353,0.0006168521,0.002484814,0.00181212,0.0007860496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002792448,0.00001117066,0.0005432768,0.00002177826,0.00001264923,0.00007574224,0.0001817288,0.002642585,0.0003147052,0.9868652,0.005198093,0.004105091],"study_design_scores_gemma":[0.00001745543,0.000007366044,0.0004241063,0.00001181533,0.000004926179,0.0000794776,0.0001818124,0.01494947,0.0002435714,0.9731423,0.01092197,0.0000158539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1226248,0.001033433,0.2882618,0.01100928,0.001179111,0.0001308615,0.001067713,0.002359148,0.5723339],"genre_scores_gemma":[0.9321139,0.000178731,0.01003122,0.00109015,0.000335389,0.0001133642,0.0003813527,0.0006830943,0.05507271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.06009709,"threshold_uncertainty_score":0.2010448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00820845710681954,"score_gpt":0.1852259045799139,"score_spread":0.1770174474730944,"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."}}