{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001714665,0.0003807603,0.0005463038,0.001374052,0.001088537,0.002300497,0.001067527,0.0007504842,0.002328744],"category_scores_gemma":[0.003282849,0.000554472,0.001261133,0.0008871162,0.005079864,0.005048738,0.002917812,0.001845089,0.0002783299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001824544,"about_ca_system_score_gemma":0.0004843327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009735902,"about_ca_topic_score_gemma":0.001016489,"domain_scores_codex":[0.9986846,0.0002207048,0.0001034835,0.0002920578,0.0004703608,0.0002288529],"domain_scores_gemma":[0.9970392,0.001231305,0.0004789506,0.0006653367,0.0002463054,0.0003389339],"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.00007191819,0.00002734892,0.002991482,0.00005883214,0.00002178424,0.0002936497,0.001040002,0.001996717,0.003334056,0.9855567,0.0002238126,0.004383701],"study_design_scores_gemma":[0.00005375877,0.00008365465,0.003447771,0.0000346322,0.00004881003,0.0004546806,0.0004247394,0.01483891,0.003459242,0.9729502,0.004181925,0.00002177271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8436782,0.0004285942,0.1226045,0.0007052801,0.00005639258,0.00004431415,0.0002256164,0.0002277279,0.03202931],"genre_scores_gemma":[0.9840392,0.0001087834,0.01103407,0.00004457781,0.0000664196,0.00003497214,0.0001398349,0.00003208548,0.004499967],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002328744,"threshold_uncertainty_score":0.01323807,"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."}}