{"id":"W1529889279","doi":"10.1007/s00153-017-0545-8","title":"Equimorphy: the case of chains","year":2017,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Corollary; Isomorphism (crystallography); Mathematics; Chain (unit); Class (philosophy); Algebra over a field; Pure mathematics; Combinatorics; Discrete mathematics; Computer science; Crystal structure; Crystallography; Artificial intelligence","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.0007897872,0.0001565794,0.0002967124,0.00003913567,0.0005378071,0.000159278,0.002195036,0.00003816878,0.00002144843],"category_scores_gemma":[0.001118841,0.00009156892,0.0002151544,0.00005487961,0.0005220607,0.0001604134,0.001175412,0.0001282155,0.00005267337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001424291,"about_ca_system_score_gemma":0.00003589714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002111933,"about_ca_topic_score_gemma":0.00002481545,"domain_scores_codex":[0.9987366,0.00007997959,0.0003282002,0.0003553195,0.0001601677,0.0003397035],"domain_scores_gemma":[0.9959587,0.001791977,0.0002292898,0.001866988,0.00005905951,0.00009401206],"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.000004229724,0.0001400084,0.00001688147,0.00006846323,0.00001684839,0.00008736445,0.0005685628,0.0000161558,0.0001257021,0.9836498,0.0001527615,0.01515314],"study_design_scores_gemma":[0.000182543,0.0001707823,0.0003355027,0.00001393194,0.000009868501,0.0003290703,0.00002870866,0.2371787,0.0001912343,0.7613243,0.0001414526,0.00009382307],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01465598,0.00002065541,0.9737133,0.00302406,0.0001569735,0.0006142801,0.00002727316,0.00006860268,0.00771885],"genre_scores_gemma":[0.7133479,0.000001250953,0.2862708,0.0001350841,0.00007176578,0.00006344167,0.000001324728,0.000007729864,0.0001006878],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6986919,"threshold_uncertainty_score":0.4136432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0625853413362719,"score_gpt":0.3267031561761004,"score_spread":0.2641178148398285,"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."}}