{"id":"W3107783423","doi":"10.4153/s0008414x20000814","title":"A proof of the linear Arithmetic Fundamental Lemma for","year":2020,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Lemma (botany); Unit (ring theory); Computation; Quadratic equation; Algebraic number field; Field (mathematics); Arithmetic; Algebra over a field; Pure mathematics; Perfect field; Intersection (aeronautics); Discrete mathematics; Algorithm; Mathematics education; Geometry","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.001175537,0.0008273476,0.0006926886,0.001681901,0.001514558,0.001784798,0.001387153,0.0008430772,0.02515792],"category_scores_gemma":[0.003638587,0.0004040493,0.001295389,0.001382627,0.002945807,0.004655547,0.004624015,0.00494773,0.004482914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001558371,"about_ca_system_score_gemma":0.0009878422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000921265,"about_ca_topic_score_gemma":0.001136719,"domain_scores_codex":[0.9989401,0.0001405942,0.00005090033,0.0002037293,0.0004469899,0.0002176914],"domain_scores_gemma":[0.9978284,0.0009841033,0.0001365762,0.0002462034,0.0006544442,0.0001502903],"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.00005443008,0.00008179702,0.0005275205,0.0001538206,0.00001816756,0.0002563922,0.0003902772,0.0008979624,0.004276084,0.9598549,0.01152769,0.02196087],"study_design_scores_gemma":[0.00003750212,0.00006809778,0.001101009,0.00004968962,0.00002358903,0.0003486414,0.0001815627,0.008466702,0.006576958,0.9501905,0.03291404,0.00004170939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1233375,0.001704499,0.5937955,0.008516978,0.002282192,0.0002179238,0.001951432,0.001936162,0.2662579],"genre_scores_gemma":[0.8334575,0.0009154537,0.1191986,0.001893809,0.001497931,0.0002474655,0.001617956,0.000633619,0.04053767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02515792,"threshold_uncertainty_score":0.08416164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06429892243177925,"score_gpt":0.2761634809964387,"score_spread":0.2118645585646594,"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."}}