{"id":"W1493806114","doi":"10.1002/malq.201300030","title":"Generic trivializations of geometric theories","year":2014,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Mathematics; NIP; Converse; Rank (graph theory); Simplicity; Stability (learning theory); Pure mathematics; Discrete mathematics; Combinatorics; Geometry; Computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007659992,0.0001803436,0.0004985453,0.0001805028,0.0001032182,0.0000124275,0.0002651095,0.0001419582,0.0008955516],"category_scores_gemma":[0.001686398,0.0001334195,0.0001310764,0.0004600773,0.0003602794,0.00008112187,0.00002356059,0.0001261233,0.0001571916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001456657,"about_ca_system_score_gemma":0.0000140366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.929382e-7,"about_ca_topic_score_gemma":0.000001043192,"domain_scores_codex":[0.9985075,0.0002390157,0.000551352,0.0002130435,0.0002097044,0.0002793592],"domain_scores_gemma":[0.9967395,0.002406996,0.0002061719,0.0004809669,0.00008795445,0.00007840615],"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.00001264835,0.0002248121,0.00002120431,0.0001339548,0.00002476225,0.000001357535,0.0007403197,0.000004147444,0.0001554893,0.9942046,0.0001827788,0.004293899],"study_design_scores_gemma":[0.0002975867,0.0004309921,0.00004262514,0.0000213671,0.00005095549,0.00001724295,0.000352453,0.0005106677,0.0004173106,0.9974595,0.0002494269,0.0001498214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04310467,0.00004148052,0.9208753,0.0001683499,0.0001014057,0.0001879557,0.000006275285,0.000130847,0.03538376],"genre_scores_gemma":[0.940627,0.000002447318,0.0581379,0.0001113445,0.00007795633,0.000029897,0.000004443114,0.00002284282,0.0009862108],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8975223,"threshold_uncertainty_score":0.9805662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03355777729189491,"score_gpt":0.3065429095177503,"score_spread":0.2729851322258554,"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."}}