{"id":"W2011283187","doi":"10.1017/s1474748012000643","title":"Comparison isomorphisms for smooth formal schemes","year":2012,"lang":"en","type":"article","venue":"Journal of the Institute of Mathematics of Jussieu","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Mathematics; Arithmetic; Theoretical computer science; Algebra over a field; Pure mathematics; 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":[],"consensus_categories":[],"category_scores_codex":[0.00244259,0.000197066,0.0008362785,0.0001474771,0.0001095071,0.00001145605,0.0007655497,0.0001231777,0.00004465867],"category_scores_gemma":[0.0016297,0.0001209453,0.000539161,0.0002059967,0.0002805587,0.0006467206,0.0001464682,0.0002538774,0.000002863661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003759725,"about_ca_system_score_gemma":0.0001087097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001082016,"about_ca_topic_score_gemma":8.713313e-7,"domain_scores_codex":[0.997529,0.0000433783,0.001477831,0.00006560022,0.0005726673,0.0003114964],"domain_scores_gemma":[0.9956971,0.000651095,0.002766688,0.0004461125,0.0003289529,0.0001100821],"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.0002194463,0.003146721,0.002036894,0.003441986,0.0006357058,0.000001243921,0.005155128,0.0000927687,0.008369087,0.9677771,0.007516242,0.001607626],"study_design_scores_gemma":[0.00289445,0.0004846766,0.0005542462,0.001805282,0.001100142,0.00026911,0.002912861,0.0004186622,0.2634455,0.7078301,0.0178802,0.0004047324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9375325,0.0004633099,0.05818855,0.0002905211,0.001402668,0.0003339561,0.00001622013,0.00001000855,0.001762278],"genre_scores_gemma":[0.8491513,0.00001090251,0.1503376,0.00002683919,0.0002368687,0.000003200257,5.530754e-7,0.000022578,0.0002102353],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.259947,"threshold_uncertainty_score":0.4932007,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06991987890785638,"score_gpt":0.3423564411364645,"score_spread":0.2724365622286081,"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."}}