{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00006660201,0.00002514373,0.00003403172,0.00001968896,0.000005222847,0.000003201581,0.00001663401,0.0000157267,0.000432544],"category_scores_gemma":[0.000002844161,0.00002201788,0.000006331084,0.00002499444,0.000001463562,0.0001215233,0.000005262675,0.00001911271,0.0001282273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007483484,"about_ca_system_score_gemma":5.368784e-7,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009569908,"about_ca_topic_score_gemma":0.000008351329,"domain_scores_codex":[0.9998084,0.000001592001,0.00004670691,0.00001484119,0.00001674843,0.0001117494],"domain_scores_gemma":[0.9999419,0.000004372898,0.000001606625,0.00003137773,9.025994e-7,0.00001984466],"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.00001734227,0.00007188966,0.03361016,0.0004629083,0.00005467036,0.00001022924,0.004110608,0.01437343,0.5380663,0.3390517,0.004019066,0.06615169],"study_design_scores_gemma":[0.000888427,0.00001935648,0.03646322,0.00007636083,0.00001265263,0.00002815269,0.0004112824,0.03293799,0.6387092,0.001765517,0.2879225,0.0007653498],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8756843,0.00006195282,0.002542141,0.000002906773,0.0004876588,0.00001970654,7.755533e-8,0.00008776288,0.1211134],"genre_scores_gemma":[0.9988627,0.000004384455,0.0007033965,0.00001310477,0.00005364791,0.000002096801,5.278292e-7,0.000004761349,0.0003553941],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3372861,"threshold_uncertainty_score":0.4736053,"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."}}