{"id":"W3133537387","doi":"10.4171/jems/1050","title":"The simplicial model of Univalent Foundations (after Voevodsky)","year":2021,"lang":"en","type":"article","venue":"Journal of the European Mathematical Society","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":76,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Dalhousie University; Benter Foundation; National Science Foundation","keywords":"Mathematics; Pure mathematics; Simplicial complex","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001906688,0.0001294142,0.0003121779,0.00001052608,0.0002670838,0.00003209713,0.0006102516,0.00006922316,0.0001450367],"category_scores_gemma":[0.001369417,0.00006713071,0.0007391973,0.0001430033,0.000478288,0.00005793118,0.0003105067,0.0004674357,0.00001869203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000484198,"about_ca_system_score_gemma":0.0001563694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.627443e-7,"about_ca_topic_score_gemma":0.000001669135,"domain_scores_codex":[0.9978389,0.0006627801,0.0008211218,0.0001006375,0.0003554116,0.0002211944],"domain_scores_gemma":[0.9974174,0.001168653,0.0005499163,0.0004958207,0.0002980142,0.00007012367],"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.0000416031,0.0006476188,0.0001323419,0.0001777398,0.0006057788,0.00003516503,0.005025394,0.0001481422,0.002711275,0.9729963,0.01563819,0.001840453],"study_design_scores_gemma":[0.0003494789,0.00003891935,0.0002977332,0.00008590455,0.0002168588,0.0002421278,0.0006559996,0.00160653,0.00106344,0.9939118,0.001440105,0.0000910993],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7762914,0.0003093651,0.1565537,0.01795998,0.0008866154,0.0003179795,0.00001757629,0.00003536561,0.04762801],"genre_scores_gemma":[0.9662487,0.00008423144,0.02863021,0.0005656104,0.0003689451,0.000002734092,2.925245e-7,0.00004062482,0.004058656],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1899573,"threshold_uncertainty_score":0.2737511,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04136848245827793,"score_gpt":0.3068205158579546,"score_spread":0.2654520333996767,"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."}}