{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001032037,0.0007578788,0.0009278459,0.003569749,0.001989194,0.004625007,0.001371847,0.001181494,0.01842481],"category_scores_gemma":[0.002853686,0.0004147409,0.000949473,0.003257829,0.003170539,0.01051854,0.001601549,0.004253666,0.005529243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002148816,"about_ca_system_score_gemma":0.0008870786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001477896,"about_ca_topic_score_gemma":0.000908804,"domain_scores_codex":[0.9989483,0.0001914573,0.00009925647,0.0002509782,0.0003843229,0.0001257139],"domain_scores_gemma":[0.9990463,0.0004095221,0.00005037412,0.000176163,0.0002540752,0.00006359742],"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.00001146416,0.00001133009,0.00008287089,0.00005969973,0.000003708802,0.0000128725,0.0001771935,0.0001178161,0.0002428136,0.9437746,0.01034929,0.04515623],"study_design_scores_gemma":[0.000002956984,0.000005724947,0.0001454015,0.00004010503,0.0000033587,0.00006663078,0.00004584701,0.0004083108,0.0001539947,0.9405996,0.05852249,0.000005601285],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02484994,0.02029894,0.173981,0.005284642,0.003972641,0.0001001073,0.001157698,0.0006487602,0.7697062],"genre_scores_gemma":[0.4600791,0.02031626,0.1573162,0.002333347,0.006890498,0.0003697891,0.005403764,0.0008927872,0.3463982],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01842481,"threshold_uncertainty_score":0.0616371,"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."}}