{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001749973,0.0003354392,0.000572381,0.002636868,0.001828524,0.003009313,0.000555852,0.0006690826,0.009710357],"category_scores_gemma":[0.003811386,0.0003202333,0.0007109887,0.001791075,0.002912614,0.007214195,0.003000539,0.001999828,0.0007957162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002058513,"about_ca_system_score_gemma":0.0006231225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001024055,"about_ca_topic_score_gemma":0.0007097052,"domain_scores_codex":[0.9984844,0.0004712331,0.00008863737,0.0002686667,0.0004421058,0.0002448886],"domain_scores_gemma":[0.9983327,0.0007994986,0.0001494766,0.0002322876,0.0003069431,0.0001791709],"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.00001179951,0.000005196254,0.0001316151,0.00001384084,0.000003361693,0.00002047359,0.000137455,0.0001841545,0.0002164195,0.9955786,0.0004685408,0.003228509],"study_design_scores_gemma":[0.00001080324,0.00001545465,0.0003509689,0.00001104968,0.000005157388,0.00004974152,0.0001319222,0.0009498064,0.0003262787,0.9912297,0.006911201,0.000007931329],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4314131,0.003954735,0.2107976,0.003767083,0.0008583748,0.0001232209,0.0009755478,0.0007799297,0.3473304],"genre_scores_gemma":[0.954044,0.0009441914,0.0179797,0.0002522114,0.0002500965,0.00007951071,0.0003741848,0.0001532213,0.02592284],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009710357,"threshold_uncertainty_score":0.03248435,"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."}}