{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005148398,0.000661927,0.0003570559,0.001041968,0.00555137,0.002554451,0.0008961415,0.001702236,0.04395781],"category_scores_gemma":[0.001823563,0.0003080856,0.0006313388,0.001198699,0.003782632,0.005066731,0.002155592,0.002823466,0.00453532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001620862,"about_ca_system_score_gemma":0.0007634389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005065703,"about_ca_topic_score_gemma":0.008175373,"domain_scores_codex":[0.9995714,0.0001647915,0.00001359731,0.00006959391,0.0001263871,0.00005420113],"domain_scores_gemma":[0.9995921,0.000266509,0.00001101251,0.00003451283,0.00006565795,0.00003023146],"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.00001866975,0.00001356653,0.00002534009,0.00003774546,0.00000352808,0.0002118659,0.001960083,0.0001447158,0.0003083895,0.967801,0.02026609,0.009208969],"study_design_scores_gemma":[0.00002384886,0.00001726553,0.0001706681,0.00007245775,0.000008399584,0.0004370412,0.001573099,0.0007789594,0.000248832,0.5390112,0.4576381,0.00002017686],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.007818809,0.001484639,0.0494496,0.006117962,0.001377663,0.00008643194,0.0002141812,0.0003089576,0.9331417],"genre_scores_gemma":[0.292611,0.001565314,0.07710438,0.002495174,0.0004981917,0.0002200956,0.0005751154,0.0004779816,0.6244528],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.04395781,"threshold_uncertainty_score":0.1470535,"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."}}