{"id":"W4242878312","doi":"10.1090/ulect/070/13","title":"The classification of AF-equivalence relations","year":2018,"lang":"en","type":"book-chapter","venue":"University lecture series","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Equivalence (formal languages); Computer science; Mathematics; Pure mathematics","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.00005554514,0.0001300584,0.0001213198,0.00007184183,0.0004266982,0.00002640524,0.000786517,0.0001542604,0.0000935768],"category_scores_gemma":[0.00002424251,0.0001027396,0.00007720813,0.00007965344,0.0004198886,0.0003219674,0.0001869644,0.0001912434,0.00006236781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006266454,"about_ca_system_score_gemma":0.00009936411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000151071,"about_ca_topic_score_gemma":0.0000761879,"domain_scores_codex":[0.9993712,0.00001969636,0.0000980175,0.0002390371,0.0001595528,0.0001125394],"domain_scores_gemma":[0.9989519,0.000103787,0.0001990901,0.0005350242,0.0001786177,0.00003161247],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009342488,0.00000191618,0.000003394113,0.000005043275,0.00001604125,0.000003341795,0.0003534055,0.00001284677,0.0000577262,0.995881,0.001097669,0.002558307],"study_design_scores_gemma":[0.00004954057,0.00007444783,0.0002256105,0.00002944875,0.00001824324,0.000006303627,0.00004997345,0.00009609105,0.00008123166,0.3433072,0.6559286,0.000133343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00006898268,0.0003774176,0.4319492,0.002433719,0.0003386061,0.0001647147,0.00001549598,0.0001324433,0.5645195],"genre_scores_gemma":[0.03499186,0.0005442946,0.01134248,0.00005754688,0.0001200803,2.484634e-7,0.000015756,0.00001384645,0.9529139],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6548309,"threshold_uncertainty_score":0.4189598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01388160565744038,"score_gpt":0.1932308049866454,"score_spread":0.179349199329205,"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."}}