{"id":"W4362715296","doi":"","title":"Non-locally modular regular types in classifiable theories","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche; National Science Foundation","keywords":"Modular design; Mathematics; Type (biology); Computer science; Programming language; Biology; Paleontology","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005821313,0.0003734093,0.0006124504,0.0002078062,0.0001898224,0.0001122773,0.001184144,0.0005876382,0.0002222105],"category_scores_gemma":[0.00231382,0.0003792991,0.0001850264,0.0002481994,0.0004283026,0.0001332285,0.001192898,0.001026424,0.00009828533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001318848,"about_ca_system_score_gemma":0.0002874431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001694007,"about_ca_topic_score_gemma":0.000641129,"domain_scores_codex":[0.9946143,0.00332743,0.0005861097,0.0007483476,0.0002977394,0.0004260959],"domain_scores_gemma":[0.9936379,0.002309259,0.0004485168,0.002644308,0.000862344,0.00009771585],"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.00003052211,0.0003363497,0.0009368993,0.0002882901,0.00006832237,0.000009641608,0.004513905,0.0005835824,0.000615367,0.9897841,0.0004321613,0.002400812],"study_design_scores_gemma":[0.0005218449,4.557516e-7,0.0005170346,0.001591539,0.00004047804,0.000006387075,0.0002341655,0.01235144,0.01396087,0.9666997,0.003647372,0.0004287463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2603113,0.001591927,0.5449677,0.005703346,0.0006682556,0.00117295,0.00006133855,0.0003529414,0.1851703],"genre_scores_gemma":[0.8882692,0.0003753343,0.07199651,0.0001049166,0.00002869771,0.00009048142,0.0001825606,0.00008179358,0.0388705],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6279579,"threshold_uncertainty_score":0.9998659,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01578625617685511,"score_gpt":0.2585317459281264,"score_spread":0.2427454897512713,"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."}}