{"id":"W2466224125","doi":"10.1017/jsl.2018.87","title":"AMALGAMABLE DIAGRAM SHAPES","year":2019,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Diagram; Endomorphism; Decidability; Mathematics; Combinatorics; Idempotence; Simple (philosophy); Discrete mathematics; Pure mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0007306534,0.0001384701,0.0003599166,0.000150241,0.00005749225,0.0002158327,0.001034231,0.00008817526,0.00008647329],"category_scores_gemma":[0.00004963341,0.00009124741,0.0001873256,0.0003027983,0.00002774049,0.0005227116,0.0001328548,0.0002362507,0.0005227077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004480245,"about_ca_system_score_gemma":0.00009374003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001844068,"about_ca_topic_score_gemma":0.000001550085,"domain_scores_codex":[0.9985567,0.00008183558,0.000450302,0.0001859843,0.0004016222,0.0003235362],"domain_scores_gemma":[0.9988782,0.00007166942,0.0004410434,0.0002807998,0.0001884622,0.0001398191],"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.00001534981,0.0002341779,0.02031398,0.00007253743,0.0001125737,0.0001918639,0.001383898,0.0002345927,0.001967788,0.9146525,0.002968697,0.0578521],"study_design_scores_gemma":[0.004512308,0.004350631,0.07108574,0.00009669961,0.00009338844,0.004074927,0.0005754412,0.01663375,0.002388812,0.5934359,0.3013299,0.00142249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3029201,0.00598106,0.5732914,0.002971902,0.007191845,0.0007581689,6.555978e-7,0.0003151844,0.1065697],"genre_scores_gemma":[0.9953166,0.0000683311,0.002471029,0.0004084714,0.0003405646,0.000002039011,1.837371e-7,0.000007680971,0.001385079],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6923965,"threshold_uncertainty_score":0.6718524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937334384823893,"score_gpt":0.2470088305944695,"score_spread":0.2276354867462306,"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."}}