{"id":"W3016333163","doi":"10.1090/conm/744/14978","title":"Homotopy types and geometries below 𝑆𝑝𝑒𝑐(ℤ)","year":2020,"lang":"en","type":"other","venue":"Contemporary mathematics - American Mathematical Society","topic":"advanced mathematical theories","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Perimeter Institute","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Spec#; Mathematics; Homotopy; Pure mathematics; Programming language; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.0009553158,0.001787925,0.004229976,0.0002713224,0.0002731097,0.00027279,0.001153113,0.0007221514,0.002570683],"category_scores_gemma":[0.004118362,0.001504401,0.0009776851,0.001241285,0.003481062,0.0002446478,0.001011221,0.001245523,0.0006863393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001351645,"about_ca_system_score_gemma":0.0002419652,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001985165,"about_ca_topic_score_gemma":0.000004225581,"domain_scores_codex":[0.993926,0.0001743193,0.001914581,0.001450264,0.001407911,0.001126955],"domain_scores_gemma":[0.9907436,0.004325087,0.002074426,0.001822333,0.0001315887,0.0009029296],"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.00002035493,0.0006361893,0.0000120973,0.008235633,0.001116606,0.00004364662,0.003205806,1.174555e-7,0.00005793958,0.504829,0.4808573,0.0009852482],"study_design_scores_gemma":[0.0007522506,0.0002848604,0.000001476789,0.001722884,0.0004726128,0.00006336877,0.00329545,0.0005884811,0.0001396215,0.8560455,0.1349425,0.001690953],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0002224541,0.003212311,0.1962937,0.001694535,0.0002301726,0.003399509,0.0004989114,0.003503291,0.7909452],"genre_scores_gemma":[0.002333238,0.0008236554,0.7576386,0.0008921031,0.0007901893,0.0004248552,0.00007453658,0.003072524,0.2339503],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.5613449,"threshold_uncertainty_score":0.9994866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04722013265435579,"score_gpt":0.3146562627575057,"score_spread":0.2674361301031499,"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."}}