{"id":"W4230448510","doi":"10.1090/ulect/070/01","title":"An example: A tale of two equivalence relations","year":2018,"lang":"en","type":"book-chapter","venue":"University lecture series","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Equivalence (formal languages); Mathematics; Computer science; History; 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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001789583,0.0002489391,0.0003906387,0.0001674416,0.0002522323,0.000008813979,0.0003695624,0.0002720263,0.006505134],"category_scores_gemma":[0.00005248309,0.0002687622,0.0001396904,0.00004294615,0.0006407479,0.0002302088,0.0000759521,0.0002642298,0.0001009276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000103159,"about_ca_system_score_gemma":0.0001164775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001348513,"about_ca_topic_score_gemma":0.0003479694,"domain_scores_codex":[0.9991539,0.00004742871,0.0001897911,0.0002583794,0.0002090243,0.0001414898],"domain_scores_gemma":[0.9985644,0.0002075322,0.0003222942,0.0006448149,0.0001847057,0.00007629318],"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.00004903606,0.00003206051,9.133234e-7,0.0001841312,0.00007908787,0.00002324739,0.007627439,0.000004043351,0.0001052212,0.9881256,0.003665623,0.000103596],"study_design_scores_gemma":[0.0001496879,0.0001554021,4.242765e-7,0.0001701181,0.0001889227,0.00001938897,0.0002354694,0.00000558143,0.000164898,0.7348187,0.2638697,0.0002217412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003982151,0.00008282045,0.02069513,0.00003879435,0.0001850682,0.0002818044,0.0001411753,0.0001861249,0.9744069],"genre_scores_gemma":[0.01105416,0.0000258947,0.02875791,0.00001739267,0.0001426404,1.949553e-7,0.00004008823,0.0000565453,0.9599051],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2602041,"threshold_uncertainty_score":0.9999765,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04093369223875782,"score_gpt":0.2460519056183385,"score_spread":0.2051182133795807,"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."}}