{"id":"W4400328586","doi":"10.1007/s10455-024-09962-z","title":"Universal covers of non-negatively curved manifolds and formality","year":2024,"lang":"en","type":"article","venue":"Annals of Global Analysis and Geometry","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Formality; Mathematics; Differential geometry; Pure mathematics; Ricci-flat manifold; Geometry; Mathematical analysis; Topology (electrical circuits); Curvature; Scalar curvature; Combinatorics; Linguistics","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.0009898971,0.0007175961,0.001024048,0.002946053,0.002511461,0.003821373,0.0008903454,0.001186588,0.006129241],"category_scores_gemma":[0.002984938,0.0005806856,0.0006452752,0.001462451,0.005790257,0.007318852,0.003957347,0.001947158,0.000310726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00177376,"about_ca_system_score_gemma":0.0004057529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001175317,"about_ca_topic_score_gemma":0.00103401,"domain_scores_codex":[0.9994185,0.0001402694,0.00002909097,0.0001179548,0.0001360454,0.000158156],"domain_scores_gemma":[0.9982433,0.0007934994,0.0002139931,0.0002010293,0.0002013424,0.0003467941],"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.00001148582,0.000007245389,0.0002388775,0.00001311969,0.000004301681,0.00004537395,0.0002837579,0.0002390602,0.00023326,0.9977545,0.0002248628,0.0009442918],"study_design_scores_gemma":[0.000006981722,0.000008463076,0.0006236619,0.000007557267,0.000007226154,0.0001015433,0.0001814291,0.001025745,0.0001526557,0.9962224,0.001655642,0.000006748478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.833143,0.002792577,0.0447575,0.003262361,0.0001836125,0.00002669307,0.0002172468,0.0002278469,0.1153891],"genre_scores_gemma":[0.990794,0.0004656949,0.001630645,0.00009540346,0.0001839867,0.00001418169,0.00007842377,0.00002652077,0.006711163],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006129241,"threshold_uncertainty_score":0.02050436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03351956766212796,"score_gpt":0.3449174381771041,"score_spread":0.3113978705149761,"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."}}