{"id":"W4376646809","doi":"10.1007/s00229-023-01485-4","title":"On the BDP Iwasawa main conjecture for modular forms","year":2023,"lang":"en","type":"article","venue":"manuscripta mathematica","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Number theory; Iwasawa theory; Conjecture; Modular form; Algebraic geometry; Pure mathematics; Modular design; Algebra over a field; Computer science; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.002649545,0.001117282,0.001459798,0.002349465,0.002462858,0.003978842,0.001428888,0.002668132,0.01066988],"category_scores_gemma":[0.007312176,0.0006608713,0.001175885,0.00179145,0.005943494,0.008461351,0.004440044,0.00539292,0.002153417],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001712843,"about_ca_system_score_gemma":0.0008333943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000948991,"about_ca_topic_score_gemma":0.0006134023,"domain_scores_codex":[0.9990653,0.0002607461,0.00004316801,0.0001811984,0.0002711398,0.0001784355],"domain_scores_gemma":[0.9976178,0.001149993,0.0002190711,0.0003791952,0.0003287612,0.0003052686],"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.00006784918,0.00002356046,0.0002311011,0.00004644547,0.000006165269,0.00007651752,0.0001460352,0.0004644312,0.0003437165,0.9923074,0.003005297,0.003281543],"study_design_scores_gemma":[0.00001247295,0.000005844806,0.0001353302,0.000009162966,0.000003382921,0.00003761638,0.00002950587,0.001094172,0.00008603465,0.9973355,0.001246496,0.000004503686],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4107759,0.003542148,0.1080942,0.03716279,0.003627054,0.00008275911,0.0007321744,0.0007116487,0.4352714],"genre_scores_gemma":[0.9422928,0.001544309,0.01028085,0.002449999,0.003420216,0.0001182497,0.0006261749,0.0001975493,0.03906985],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01066988,"threshold_uncertainty_score":0.0356943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06683079223853015,"score_gpt":0.2927827446287912,"score_spread":0.225951952390261,"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."}}